PHP中的gmp_sign()函数