softfp: Added hardfloat conversion from float32 to float64