To use GMP.

Because a few GPLv3+ files had already snuck in by mistake.

And because http://www.gnu.org/licenses/rms-why-gplv3.html