See also:

https://en.wikipedia.org/wiki/Saturation_arithmetic