Add basic tests for gcd, extendedEuclidean, and fix up gcd to work with modular integers