PHP中的gmp_prob_prime()函数