** converts an integer to a "floating point byte", represented as ** (mmmmmxxx), where the real value is (xxx) * 2^(mmmmm) */
source not stored for this graph (policy: none)
no outgoing calls