(f64 - f64) / i32
