float32_mul
#define float32_mul _softfloat_float32_mul
#define float32_mul _softfloat_float32_mul
float32 float32_mul( float32 a, float32 b )
float32 float32_mul( float32 a, float32 b )
#define float32_mul __mulsf3
float32 float32_mul( float32 a, float32 b )