float128_eq
int float128_eq( float128, float128 );
int float128_eq( float128, float128 );
int float128_eq( float128, float128 );
int float128_eq( float128, float128 );
return !float128_eq(a, b);
return !float128_eq(a, b);
!!!flag float128_eq( float128, float128 );
time_ab_float128_z_flag( float128_eq );