Skip to content

sjeohp/rust-float-ord

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

42 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 100.0%