Namespace providing type-safe arithmetic operations for negative integers.
NegativeInt represents integers that are strictly less than zero (<= -1).
Operations that stay within the negative integers (such as add) clamp their
results to the valid range, while operations whose result leaves the set
(mul, div, abs) are typed to reflect the actual sign of the result.
Namespace providing type-safe arithmetic operations for negative integers.
NegativeInt represents integers that are strictly less than zero (
<= -1). Operations that stay within the negative integers (such asadd) clamp their results to the valid range, while operations whose result leaves the set (mul,div,abs) are typed to reflect the actual sign of the result.