pub extern "C" fn uint64_to_float(v: u64) -> f32
Converts an unsigned 64-bit integer to the nearest f32 value, rounding to even on tie