Actually floatAsBits() and its corollary bitsAsFloat() are my own internal routine to treat the floating point representation as raw data, not floating point values. You need to do something like from a high level language to get to the low level bit representation to extract things like mantissa, exponent, and signs. As for being in Java, shouldn't be hard to convert to another language. Most of my Java looks suspiciously like C."floatAsBits" is a Java function, I presume? Yes, I am using Pascal but for the simple reason that it is easier to write out ideas using Pascal than using ML. Once the idea works fine, the whole must be translated into ML in the end and that means I cannot use built-in functions.
But thank you anyway for wanting to help me!