Or signed integers because overflow is undefined. It could do the left-hand computation in two’s complement and the right hand in sign-magnitude, leading to different results. Or, as it’s undefined, it could brew you some coffee and serve it with an aspirin.