pub fn u128_to_f64_bits(i: u128) -> u64