Bruce Momjian <bruce@momjian.us> writes:
> OK, so my question is whether __int64 is the right definition or only
> what Python chose.
I see no reason to question either the width or the signedness.
If you do, feel free to research away.
regards, tom lane