min

The minimum value a StrictlyPositiveInt can have.