Sadly it appears that floating points do not satisfy even *strict weak ordering*. Took me and @pnkfelix some time to realize why, though.
-
@nikomatsakis should we just say: lt() must define a strict partial order (irreflexive, transitive, and asymmetric) and call it a day?
@pnkfelix clearly that our sort routine must also be defensive and be sure that it doesn't crash, even if the laws are not followed