Given that GMP is under the LGPL, is that really a problem? Mind you, personally I very much like the GPL for many many things, but the LGPL is, sadly, probably better for many libraries. I really am curious if the LGPL is causing you some real problem.