rt，这样的话有理数取模就必需用扩欧，费马小定理就水不过去了，非常麻烦。