ongoing work on binary floating point to decimal conversion