>>>>> "Tom" == Tom Lane <tgl@sss.pgh.pa.us> writes:
>> But PostgreSQL effectively requires IEEE 754 since commit
>> 02ddd499322ab6f2f0d58692955dc9633c2150fc, right?
Tom> That commit presumes that floats follow the IEEE bitwise
Tom> representation, I think;
Correct. (It notably does _not_ make any assumptions about how floating
point arithmetic or comparisons work - all the computation is done in
integers.)
Tom> but it's a long way from there to assuming that float comparisons
Tom> do something that is explicitly *not* promised by C99.
I agree.
--
Andrew (irc:RhodiumToad)