Namespace providing type-safe arithmetic operations for positive finite
numbers.
All operations maintain the positive constraint by clamping non-positive
results to MIN_VALUE, while ensuring results remain finite (excluding NaN and
Infinity). This type is useful for representing quantities that must always
be positive, such as probabilities, magnitudes, and physical measurements.
Namespace providing type-safe arithmetic operations for positive finite numbers.
All operations maintain the positive constraint by clamping non-positive results to MIN_VALUE, while ensuring results remain finite (excluding NaN and Infinity). This type is useful for representing quantities that must always be positive, such as probabilities, magnitudes, and physical measurements.