#include <cruntime.h>
float __uint32_to_float32(uint32_t arg);
__uint32_to_float32 converts the 32-bit unsigned integer arg to a 32-bit floating value, rounding if required, and.returns the appropriately rounded value as the result.
__uint32_to_float32 is a provided on all implementations of CrossWorks.