syst_floatx80_eq_signaling
flag syst_floatx80_eq_signaling( floatx80, floatx80 );
floatx80_eq_signaling, syst_floatx80_eq_signaling );