pub fn u32_to_f32_bits(i: u32) -> u32