i64 + 1 < i32
