Floats, the true ieee next generation Re: Add Ord Laws to next Haskell Report

[Bardur Arantsson]

On 08/02/2019 20.07, Lennart Augustsson wrote:
> I would *hate* to lose quiet NaNs. 

This is just getting further off-topic. Nobody is suggesting this, AFACIT.

+1 to the original suggestion to just specify totality for Ord (how
could it *not* be?) and mention that Double/Float instances are not
currently lawful.