Question: lossless conversion of float to string and back: is it possible?