(PHP 4 >= 4.0.4)
resource gmp_div (resource a, resource b)
resource gmp_div
gmp_div() est un alias de gmp_div_q().