actually wait, hang on. Shouldn't it return the incorrect overflowed value and then set the overflow flag? You could potentially actually want the "incorrect" value of the arithmetic operation in your semantics. Division by zero part is fine to throw an exception though.