pub fn u64_to_f32_bits(i: u64) -> u32