CAPD Group website: https://github.com/CAPDGroup GMP library homepage: https://gmplib.org/ MPFR library homepage: https://www.mpfr.org/
