(PHP 4 >= 4.0.4, PHP 5)
gmp_divexact — Exact division of numbers
Divides n by d , using fast "exact division" algorithm. This function produces correct results only when it is known in advance that d divides n .
The number being divided.
It can be either a GMP number resource, or a numeric string given that it is possible to convert the latter to a number.
The number that a is being divided by.
It can be either a GMP number resource, or a numeric string given that it is possible to convert the latter to a number.
A GMP number resource.
Example #1 gmp_divexact() example
<?php
$div1 = gmp_divexact("10", "2");
echo gmp_strval($div1) . "\n";
$div2 = gmp_divexact("10", "3"); // bogus result
echo gmp_strval($div2) . "\n";
?>
上例将输出：
5 2863311534