Andres Freund <andres@anarazel.de> writes:
> If we go around changing all these places, it might be worth to also change
> Integer to be a int64 instead of an int.
Meh ... that would have some non-obvious consequences, I think,
at least if you tried to make the grammar make use of the extra
width (it'd change the type resolution behavior for integer-ish
literals). I think it's better to keep it as plain int.
regards, tom lane