Implement casting a floating point to 32-bit unsigned value