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

class Gmp.mpz

Method ``*

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