181f7baa45
Uses system provided libgmp if found, if not it falls back to mini-gmp.
Uses system provided libgmp if found, if not it falls back to mini-gmp.