Saturated Integer Arithmetic on the x86