float128_to_int64
#define float128_to_int64 _softfloat_float128_to_int64
#define float128_to_int64 _softfloat_float128_to_int64
int64 float128_to_int64( float128 a )
int64 float128_to_int64( float128 a )