Valérie Ménissier-Morain  uses a representation of reals as streams of integers. A real r is represented by a stream of integers with the property that | r-cnB-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.