Symbol: IEEE754_OVERFLOW