float128_div
.ldblu_f128 = float128_div(zero.ldblu_f128, a.ldblu_f128)
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
*c = float128_div(*a, *b);
float128 float128_div( float128, float128 );
float128 float128_div( float128, float128 );
time_abz_float128( float128_div );
float128 float128_div( float128, float128 );
test_abz_float128( float128_div, syst_float128_div );
float128 float128_div( float128, float128 );