type R64 = ConstrainedFloat<f64, FiniteConstraint<f64>>;
An alias for a floating-point value that represents a real number.
The prefix "R" for "real" is used instead of "F" for "finite", because if
"F" were used, then this name would be very similar to
differentiated only by capitalization.