Re: bignum branch

[Tom Tromey]

>>>>> "Andy" == Andy Moreton <address@hidden> writes:

Andy> On Thu 09 Aug 2018, Tom Tromey wrote:
>>>>>>> "Andy" == Andy Moreton <address@hidden> writes:
>> 
Andy> It appears that mini-gmp does not define GMP_NUMB_BITS, so does this
Andy> patch work for you instead ?
>> 
>> Let me know if you want me to push this to the branch for you.

Andy> Yes please.

Andy> As a minor speedup, you could also change various places that use
Andy> "mpz_cmp_si (foo, 0) >= 0" to use "mpz_sgn (foo) >= 0".

I've pushed your patch and the one you suggested here.  I re-ran the
test suite first.

Thanks for all your help on this project.

Tom