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