int(i64 + 1)
