This is GNU libgmp, with a comparatively few tweaks to make it fit my
systems better.