i64 <= i + 1
