如何运用PHP与GMP库对超长数字执行费马素性检验?