Searched refs:gmp_div (Results 1 – 1 of 1) sorted by relevance
47 use function gmp_div; alias595 $int = gmp_div($int, gmp_pow(2, 7));606 $int = gmp_div($int, gmp_pow('2', 7));