min

The minimum value a PositiveInt can have.