int32_to_float64
#define int32_to_float64 _softfloat_int32_to_float64
#define int32_to_float64 _softfloat_int32_to_float64
float64 int32_to_float64( int32 a )
float64 int32_to_float64( int32 a )
#define int32_to_float64 __floatsidf
float64 int32_to_float64( int32 a )