f64 / i64 <= f64
