http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/Useful-Macros-and-Constants.html
Macro: __GNU_MP_VERSION ¶ Macro: __GNU_MP_VERSION_MINOR ¶ Macro: __GNU_MP_VERSION_PATCHLEVEL ¶ The major and minor GMP version, and patch level, respectively, as integers.
For GMP i.j, these numbers will be i, j, and 0, respectively.
For GMP i.j.k, these numbers will be i, j, and k, respectively. Global Constant: const char * const gmp_version ¶ The GMP version number, as a null-terminated string, in the form “i.j.k”.