On Tue, 21 Jul 2020 at 03:06, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Pushed, but I chickened out of back-patching. The improvement in what
> happens for finite comparison values seems somewhat counterbalanced by
> the possibility that someone might not like the definition we arrived
> at for infinities. So, it's not quite an open-and-shut bug fix, so
> I just put it in HEAD (for now anyway).
>
Yeah, that seems fair enough, and it's quite an obscure corner-case
that has gone unnoticed for quite some time.
Regards,
Dean