MODULE BigIntegerFractionVectorBasic = VectorBasic (BigIntegerFraction, BigIntegerFractionVector) END BigIntegerFractionVectorBasic.