int64_to_floatx80
floatx80 int64_to_floatx80( long long );
floatx80 int64_to_floatx80( long long );
floatx80 int64_to_floatx80( long long );
floatx80 int64_to_floatx80( long long );
floatx80 int64_to_floatx80( !!!int64 );
time_a_int64_z_floatx80( int64_to_floatx80 );