Mock mpz's must also have an allocation.