i64 + 1 <= i
