Skip to content

Latest commit

 

History

History
42 lines (28 loc) · 1.75 KB

README.md

File metadata and controls

42 lines (28 loc) · 1.75 KB

Total ordering for floats

Build Status Crates.IO Documentation

A wrapper for floats that uses this ordering:

NaN | -Infinity | x < 0 | -0 | +0 | x > 0 | +Infinity | NaN

How does it work?

There is an old family magic spell that allows one to compare floating-point values without any floating-point work. Simply interpret the fp value as an unsigned integer, flip its sign bit (if positive) or all bits (if negative), and do the comparison normally.

The trick was developed on f32 and f64, but it should work on anything structured like the IEEE floats. Even the IEEE decimal formats.

This comparison matches the definition of an IEEE 754 total order if and only if your platform's NAN encoding puts the is_quiet bit in the most significant position of the mantissa per recommended by IEEE 754-2008.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.