PHP中的gmp_sub()函数