time_abz_floatx80
time_abz_floatx80( floatx80_add );
time_abz_floatx80( floatx80_sub );
time_abz_floatx80( floatx80_mul );
time_abz_floatx80( floatx80_div );
time_abz_floatx80( floatx80_rem );