INTERFACE BigIntegerFractionVectorRep = VectorRep (BigIntegerFraction, BigIntegerFractionVector, BigIntegerFractionVectorBasic) END BigIntegerFractionVectorRep.