floatx80_sub
floatx80 floatx80_sub( floatx80, floatx80 );
floatx80 floatx80_sub( floatx80, floatx80 );
floatx80 floatx80_sub( floatx80, floatx80 );
floatx80 floatx80_sub( floatx80, floatx80 );
floatx80 floatx80_sub( floatx80, floatx80 );
time_abz_floatx80( floatx80_sub );