Remove cast to mpz_class, is handled automatically
Switch to GMP class interface, slight refactoring