On Sep 21, 2013 9:38 AM, "Colin Adams" <colinpauladams@gmail.com> wrote:
>
>
> On 21 September 2013 08:34, Stijn van Drongelen <rhymoid@gmail.com> wrote:
>>
>> * As mentioned, there is a total order (Ord) on floats (which is what you should be using when checking whether two approximations are approximately equal), which implies that there is also an equivalence relation (Eq).
>
>
> how do you get a total order when nan compares false with everything including itself?

Good point. It should be a partial order.