i64 >= f64 / i64
