floatx80_rem
floatx80 floatx80_rem( floatx80, floatx80 ) __dso_protected;
time_abz_floatx80( floatx80_rem );
floatx80 floatx80_rem( floatx80, floatx80 );