$int
=
3
#1
|
gmp_scan1
|
(/* $number = "01000" */ |
#2
|
gmp_scan1
|
(/* $number = "01000001111" */ |