gmp_divexact( ) divis n par d , en utilisant les algorithmes de "division exacte " . Cette fonction ne fournit de résultats cohérents que s ' il est su par avance que d divise n .