syst_floatx80_round_to_int
floatx80 syst_floatx80_round_to_int( floatx80 );
test_az_floatx80( floatx80_round_to_int, syst_floatx80_round_to_int );