$int
=
7
#1
|
gmp_scan0
|
(/* $number = "10111" */ |
#2
|
gmp_scan0
|
(/* $number = "101110000" */ |