GMP comes with a great testing system, which is run automatically on about 70 configs, and hopefully also by many users. One thing is poor with the testing system: It only tests either the static or the shared build. This just bit us on darwin. We should fix this. Any autoconf/automake hacker listening that volunteer? -- Torbjörn