pub fn u64_to_f64_bits(i: u64) -> u64