fn integer_decode_f32(f: f32) -> (u64, i16, i8)