use faster mpz_divexact_ui()