Re: Re[2]: Replacement for GMP: Update