floatx80_to_int64
long long floatx80_to_int64( floatx80 );
long long floatx80_to_int64( floatx80 );
long long floatx80_to_int64( floatx80 );
long long floatx80_to_int64( floatx80 );
!!!int64 floatx80_to_int64( floatx80 );
time_a_floatx80_z_int64( floatx80_to_int64 );