max

The maximum value of a StrictlyPositiveInt.