i64 + 1 == i
