Redirecting to Saturation arithmetic