Floating-point to binary-to-decimal conversion library
