That idea got nixed, but I think it's time to revisit it. Paolo has worked out the kinks in the configury and we should apply his patch and import the gmp/mpfr sources, IMHO.
Note that these two issues (my patch, which by the way was started and tested by Nick Clifton, and whether to import the sources), are completely separate.
Paolo
