[COMMIT] Never pass a leading + to mpz_set_string, parse_integer ().