Javascript debugger
Website design
↑
It can be either a GMP number resource, or a numeric string given that it is possible to convert the latter to a number.
<?php
$pop1 = gmp_init("10000101", 2); // 3 1's
echo gmp_popcount($pop1) . "\n";
$pop2 = gmp_init("11111110", 2); // 7 1's
echo gmp_popcount($pop2) . "\n";
?>
The above example will output:
3
7