floatx80_round_to_int
floatx80 floatx80_round_to_int( floatx80 );
floatx80 floatx80_round_to_int( floatx80 );
floatx80 floatx80_round_to_int( floatx80 );
floatx80 floatx80_round_to_int( floatx80 );
floatx80 floatx80_round_to_int( floatx80 );
time_az_floatx80( floatx80_round_to_int );