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