i64 <= f64 + 1
