Source position: libgmp.pp line 289
var mpz_divexact: procedure(
para1: Tmpz_ptr;
para2: Tmpz_srcptr;
para3: Tmpz_srcptr
);