Added inverse to IntLeaf and new constructor from mpz_class