floatx80_eq
int floatx80_eq( floatx80, floatx80 );
int floatx80_eq( floatx80, floatx80 );
int floatx80_eq( floatx80, floatx80 );
int floatx80_eq( floatx80, floatx80 );
return !floatx80_eq(a, b);
!!!flag floatx80_eq( floatx80, floatx80 );
time_ab_floatx80_z_flag( floatx80_eq );