gcd, exgcd, linear equations, crt.