Type Alias NonPositiveInt

Namespace providing type-safe operations for NonPositiveInt branded types.

NonPositiveInt represents integers that are less than or equal to zero (<= 0). All operations automatically clamp results to maintain the non-positive constraint, ensuring that arithmetic operations never produce positive values.

This type is essential for:

• Debts and negative balances
• Penalties and reductions
• Offsets and adjustments (downward)
• Negative counts or differences
• Depth or altitude below a reference point