i64 - 1 >= i
