fn integer_decode_f64(f: f64) -> (u64, i16, i8)