It obviously does signal as required for IEEE_DIVIDE_BY_ZERO. It also signals IEEE_OVERFLOW correctly on assignment to X. You are partially correct. It will signal correctly if the rounding mode is round-to-nearest. It will not signal as requirec by IEC 60559:1989 in all cases if one of the directed rounding modes is in effect. Bob Corbett