关于高精度约分 gcd

如何实现高精度约分（$a,b$ 均高精）？本人试过反复减和 FFT 进行 gcd 的取模，但速度太慢了，直接 T 飞（自造题）。

用 python 提交能过，那么 python 的高精度取模原理是什么？

求教。