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” or
“i.j.k”. This release is "4.2.2".