PHP中的gmp_div_r()函数