Saturated integer arithmetic on the x86