You can download GMP library from

* https://gmplib.org