Symbol: IEEE754_CEQ