float128_lt
int float128_lt( float128, float128 ) __dso_protected;
time_ab_float128_z_flag( float128_lt );
int float128_lt( float128, float128 );