i64 >= -1
