11.4 Division By Zero

The result of a division of a _Fract or _Accum typed value by zero is not defined, and may or may not result in an arithmetic error trap. Regardless of the presence of the _Sat keyword, division by zero does NOT produce the most negative or most positive saturation value for the result type.