Saturated arithmetic

What does it do?

How does it work?