positive

Deprecated

Use the regular builders instead.

Context responsible for building a PositiveInt.