そのまんま!

gmp_divexact

(PHP 4 >= 4.0.4, PHP 5)

gmp_divexact -- 正確な除算

説明

resource gmp_divexact ( resource n, resource d )

高速な "exact division" アルゴリズムを使用して nd で割ります。 この関数は、nd で割り切れることがわかっている場合にのみ正確な結果を出力します。

例 1. gmp_divexact() の例

<?php
$div1
= gmp_divexact("10", "2");
echo
gmp_strval($div1) . "\n";

$div2 = gmp_divexact("10", "3"); // 間違った結果となります
echo gmp_strval($div2) . "\n";
?>

上のプログラムの出力は以下のようになります。

5
2863311534