i64 - 1 >= f64
