Implement modsqr().
Implement modpow().