On exit: each of the three elements of
exceptionmode is set to
if the corresponding condition will raise an exception, and is set to
otherwise.
concerns floating-point overflow,
concerns floating-point division by zero, and
concerns floating-point invalid operation.