pub fn u128_to_f32_bits(i: u128) -> u32