float128_add
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
float128 float128_add( float128, float128 );
time_abz_float128( float128_add );