Re: Exclude constraint problem

On Mon, 2010-08-30 at 19:40 -0400, Tom Lane wrote:
> That's really *not* supposed to happen, assuming that both machines have
> IEEE float arithmetic and competently written float I/O code.

On my machine I see:

=> select float4in(float4out((1::numeric + 1e-7::numeric)::float4)) =
     (1::numeric + 1e-7::numeric)::float4;

 ?column?
----------
 f
(1 row)

> My own WAG is that we're talking about a GiST bug that causes it to
> recognize or not recognize duplicates depending on order of insertion.
> But that's theorizing far in advance of the data.

Seems plausible.

Regards,
    Jeff Davis