The base package contains two unbounded integral types: Integer (-∞, ∞) and Natural (0, ∞). This package expands that integral repertoire with the addition of Positive (1, ∞).