int64_to_float128
float128 int64_to_float128( long long ) __dso_protected;
time_a_int64_z_float128( int64_to_float128 );
float128 int64_to_float128( int64_t );