Re: bignum branch

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Paul Eggert <address@hidden>
> Date: Tue, 17 Jul 2018 08:53:17 -0700
> 
> On 07/16/2018 07:42 PM, Eli Zaretskii wrote:
> >> Cc: address@hidden, address@hidden
> >> From: Paul Eggert <address@hidden>
> >> Date: Mon, 16 Jul 2018 12:02:34 -0700
> >>
> >> Eli Zaretskii wrote:
> >>> Not sure what you mean by "our GMP substitute source code".  Do you
> >>> mean mini-gmp?  I didn't yet look at it, and so I don't know what that
> >>> means in practice.  (Someone said it's less efficient than GMP?)
> >> Yes, I meant mini-gmp.
> > The functions in mini-gmp have the same problem, so I'm unsure why
> > this solution is better.
> 
> The idea is to fix mini-gmp ourselves so that they do not have the same 
> problem.

And then maintain local patches, and apply them every time we sync
with upstream GMP?  I'd rather we avoided that burden.