<?php$string = gmp_strval ( 123, // resource $gmpnumber // [int $base = 10]);?>
$string = '123'
'123'
#1
gmp_strval
("0x41682179fbf5")
#2
(123)