max

The maximum value a StrictlyPositiveInt can have.