Binary conversion of a uint32 to an float32. This is equivalent in C to typecasting an unsigned int to float.
double uint32ToFloat32(int d) { __uint32[0] = d; return __uint32ToFloat32[0]; }