Dear all,

I've committed the attached patch for Steve after regtesting.
It obviously checks the types of character length to be integer
before passing them to mpz_*.

Pushed as r13-4113-gbdd784fc48a283d54f5f1e3cc2a0668c14dd3bee

Thanks,
Harald

@Steve: please close PR if you think everything is ok.