これ、使ったことある？
今知ったけど怖すぎて使えない

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

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