osGetTime(): avoid using u64<->double conversions (not supported by VFP)