Method Gmp.mpz()->``/()

class Gmp.mpz

Method ``/

Gmp.mpz res = x / Gmp.mpz()