Crate num_ord

num-ord

This crate provides a numerically ordered wrapper type, NumOrd. This type implements the PartialOrd and PartialEq traits for all the possible combinations of built-in integer types, in a mathematically correct manner without overflows.

For example, comparing an x: i64 and a y: f64 is actually quite difficult. Neither (x as f64) < y nor x < (y as i64) is correct. But NumOrd(x) < NumOrd(y) is:

use num_ord::NumOrd;

let x = 3_i64;
let y = 3.5_f64;
assert_eq!(x < (y as i64), false); // Incorrect.
assert_eq!(NumOrd(x) < NumOrd(y), true); // Correct.

let x = 9007199254740993_i64;
let y = 9007199254740992_f64;
assert_eq!(format!("{}", y), "9007199254740992"); // No rounded constant trickery!
assert_eq!((x as f64) <= y, true); // Incorrect.
assert_eq!(NumOrd(x) <= NumOrd(y), false); // Correct.

Structs

NumOrd

A numerically ordered wrapper type.