IEEE574, IEEE4 floating point number conversion tool source code