--- /dev/null
+\r
+#include <stdint.h>\r
+#include "platform.h"\r
+#include "primitives.h"\r
+#include "internals.h"\r
+#include "softfloat.h"\r
+\r
+float32_t ui32_to_f32( uint_fast32_t a )\r
+{\r
+ union ui32_f32 uZ;\r
+\r
+ if ( ! a ) {\r
+ uZ.ui = 0;\r
+ return uZ.f;\r
+ }\r
+ if ( a & 0x80000000 ) {\r
+ return\r
+ softfloat_roundPackToF32(\r
+ 0, 0x9D, softfloat_shortShift32Right1Jam( a ) );\r
+ } else {\r
+ return softfloat_normRoundPackToF32( 0, 0x9C, a );\r
+ }\r
+\r
+}\r
+\r