Valérie Ménissier-Morain [20] uses a representation of
reals as streams of integers. A real *r* is represented by a stream of
integers with the property that | *r*-*c*_{n}*B*^{-n}| <
*B*^{-n}.

This representation is not incremental. If we evaluate a result, and subsequently require the same result to a higher precision, we must examine a later element in the stream. This is computed from scratch, unlike the dyadic digit representation used in this work in which later digits simply refine earlier results. Despite its non-incremental nature, this representation reportedly performs well in practice.