i64 / f64 <= i64
