MODULE BigIntegerResidueClass = ResidueClassBasic (BigInteger, BigIntegerGCD) END BigIntegerResidueClass.