Type Definition noisy_float::types::R64

pub type R64 = NoisyFloat<f64, FiniteChecker>;

A floating point number behaving like f64 that does not allow NaN or +/- Infinity.

The “R” in the name stands for “Real”, since in Mathematics, the Real numbers do not include NaN or +/- Infinity.