INTERFACE BigIntegerFractionVectorFmtLex = VectorFmtLex (BigIntegerFractionFmtLex, BigIntegerFractionVector) END BigIntegerFractionVectorFmtLex.