Remove traces of old mpz-based num