For results where the rounded result would overflow the result for a directed rounding is either the appropriate signed infinity, or the highest representable positive finite number (or the lowest representable negative finite number if "x" is negative), depending on the direction of rounding. The result of an overflow for the usual case of "round to even" is always the appropriate infinity.