int64_to_float128
#define int64_to_float128 _softfloat_int64_to_float128
#define int64_to_float128 _softfloat_int64_to_float128
float128 int64_to_float128( int64 a )
#define int64_to_float128 __floatditf
float128 int64_to_float128( int64 a )