pub type PositiveFloat = Float;
Expand description