Softfloat uint64 to float conversions
Softfloat float to uint32 conversions