[MLton] Re: [MLton-commit] r5662

[Stephen Weeks]

> + * Currently, the equality of reals is the same as the {LargeReal.==}
> + * function.  This differs disturbingly from the equality for other types.
> + * In particular, {~0.0} and {0.0} are considered equal even though they
> + * are different values and {nan} is not considered equal to any value,
> + * including itself.  This is problematic for a number of important
> + * non-numerical applications such as serialization.

I wonder if it would be so bad to use bitwise equality for reals.