int32_to_float64
float64 AEABI_FUNC(i2d, int, int32_to_float64)
float64 int32_to_float64( int );
float64 int32_to_float64( int );
float64 int32_to_float64( int );
float64 int32_to_float64( int );
float64 int32_to_float64( !!!int32 );
time_a_int32_z_float64( int32_to_float64 );