Saturated integer arithmetic for the x86