pub type FiniteF64 = Finite<f64>;
Total ordered f64, with -0.0 normalized to +0.0, and excluding NaN and infinities.
-0.0
+0.0
pub struct FiniteF64(/* private fields */);