floatx80_to_int64_round_to_zero
long long floatx80_to_int64_round_to_zero( floatx80 ) __dso_protected;
time_a_floatx80_z_int64( floatx80_to_int64_round_to_zero );
int64_t floatx80_to_int64_round_to_zero( floatx80 );