saturation-arithmetic