A small C++ hack to convert hexadecimal to ISO floating point -- 32b or 64b -- from the command line.