Improving libgmp [was: Re: Potential tools team work]