Saturation arithmetic