Small change of string conversion in gmp