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