mpz_t * MPZ mpz_t_ornull * MPZ_NF INPUT MPZ $var = mpz_from_sv($arg); MPZ_NF $var = mpz_from_sv_nofail($arg); OUTPUT MPZ $arg = sv_from_mpz($var);