Real numbers string Encoding and Decoding