added hexfloat to decfloat converter