Converting IEEE-754 floating point to Color BASIC floating point