Saturation Arithmetic