float128_sub
float128 float128_sub( float128, float128 ) __dso_protected;
time_abz_float128( float128_sub );
float128 float128_sub( float128, float128 );