Saturated arithmetic