PHP中的gmp_divexact()函数