Namespace providing type-safe arithmetic operations for non-positive finite
numbers.
All operations maintain the non-positive constraint by clamping positive
results to MAX_VALUE (0), while ensuring results remain finite (excluding NaN
and Infinity). This type is useful for representing quantities that must
always be non-positive, such as debts, penalties, and negative offsets.
Namespace providing type-safe arithmetic operations for non-positive finite numbers.
All operations maintain the non-positive constraint by clamping positive results to MAX_VALUE (0), while ensuring results remain finite (excluding NaN and Infinity). This type is useful for representing quantities that must always be non-positive, such as debts, penalties, and negative offsets.