@tomjennings @b0rk Is pretty useful to understand which algebraic properties hold for unsigned ints or floats despite overflow and rounding, and which ones don't; algorithm correctness can depend on it. Most of the time we don't care but occasionally we care a lot.