1 2 3 4 5 6 7 8 9 10 11 12
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);