INTERFACE BigIntegerVectorRep = VectorRep (BigInteger, BigIntegerVector, BigIntegerVectorBasic) END BigIntegerVectorRep.