float(f64 - i32) / i
