gmp_mul
    (PHP 4 >= 4.0.4, PHP 5)
gmp_mul -- Multiply numbers
Description
resource 
gmp_mul ( resource a, resource b)
     Multiplies a by b
     and returns the result.
    
Example 1. gmp_mul() example 
<?php $mul = gmp_mul("12345678", "2000"); echo gmp_strval($mul) . "\n"; ?>
 |  
 
      The printout of the above program will be:
       |