INTERFACE BigIntegerResidueClassFmtLex = ResidueClassFmtLex (BigIntegerFmtLex, BigIntegerResidueClass) END BigIntegerResidueClassFmtLex.