"Marko Kreen" <markokr at gmail.com> writes:
> I don't understand you.  Current code _is_ making them
> epoch-independent?  What aspect of it do you dislike?

InvalidTransactionId should compare as less than any other XID;
unless you are doing something very strange, that won't happen
with this coding.

			regards, tom lane