Overflow or underflow may occur iff the exact result is not representable in the return type. No other exceptions are raised.