I have a RTL module that convert a fixed point number to IEEE-754. This RTL module is used as a OpenCL library and returns a 32 bits integer with the values of sign, exponent and mantissa. Is possible cast in OpenCL an integer that contains theIEEE-754 representation into a float32? How I could achieve this??