int64_to_float128
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
float128 int64_to_float128( long long );
*c = int64_to_float128(a);
*c = int64_to_float128((long long)(a>>1));
*c = int64_to_float128((long long)a);
*c = int64_to_float128((long long)a);
float128 int64_to_float128( long long );
float128 int64_to_float128( !!!int64 );
time_a_int64_z_float128( int64_to_float128 );
float128 int64_to_float128( int64_t );
test_a_int64_z_float128( int64_to_float128, syst_int64_to_float128 );
float128 int64_to_float128( int64_t );