time_abz_float128
time_abz_float128( float128_add );
time_abz_float128( float128_sub );
time_abz_float128( float128_mul );
time_abz_float128( float128_div );
time_abz_float128( float128_rem );