http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/Integer-Division.html
Function: void mpz_divexact (mpz_t q , const mpz_t n , const mpz_t d ) ¶ Function: void mpz_divexact_ui (mpz_t q , const mpz_t n , unsigned long d ) ¶ Set q to n / d . These functions produce correct results only
when it is known in advance that d divides n .