Requirements
The GMP library can be downloaded from » https://gmplib.org/#DOWNLOAD. This site also has the
GMP manual available.
At least GMP version 4.2 is required, with some functions
requiring a more recent version of the GMP library.
On Windows, MPIR is required instead of GMP.