Symbol: IEEE754_ZERO_DIVIDE