totalfloat
object totalfloat
This provides orderings (Order and Eq) for Float and Double that have a total order. Specifically, this will order NaN's consistently, rather than having their order be undefined. However, this won't be as fast as the default ordering.