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( !!!int64 );
time_a_int64_z_float128( int64_to_float128 );