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