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