float128_to_int32
#define float128_to_int32 _softfloat_float128_to_int32
#define float128_to_int32 _softfloat_float128_to_int32
int32 float128_to_int32( float128 a )
int32 float128_to_int32( float128 a )