floatx80_eq_signaling
int floatx80_eq_signaling( floatx80, floatx80 ) __dso_protected;
time_ab_floatx80_z_flag( floatx80_eq_signaling );
int floatx80_eq_signaling( floatx80, floatx80 );