pub type NonNegativeFloat = Float;
Expand description