[MLton] Re: [MLton-commit] r5662

[Henry Cejtin]

I agree that the notion of bitwise-equality of reals is useful, just that it
should not be Real.==.  On the other hand, if there were a cheap conversion
to Word? (and Word?'s that were large enough) then that would be good enough
I think.

Speaking of reals, it would be nice if there were a Real type for the full
80-bit reals.  Gcc gives you this with `long double'.