(PHP 4 >= 4.0.4)
resource gmp_mul (resource a, resource b)
resource gmp_mul
gmp_mul() multiplie les nombres GMP a et b. Le résultat est un nombre GMP.