MODULE BigIntegerFractionVectorRep = VectorRep (BigIntegerFraction, BigIntegerFractionVector) END BigIntegerFractionVectorRep.