INTERFACE  BigIntegerComplexResidueClass = ResidueClassBasic (BigIntegerComplex) END BigIntegerComplexResidueClass.