pub fn u32_to_f64_bits(i: u32) -> u64