INTERFACE BigIntegerVectorFmtLex = VectorFmtLex (BigIntegerFmtLex, BigIntegerVector) END BigIntegerVectorFmtLex.