Make gmp and geode/exact optional