In section 2.2.1, we showed why an infinite sequence of binary or decimal digits would be inadequate for the purposes of exact real arithmetic. We now define the alternative representations used here using streams.

These representations are of reals in a closed interval. In section 3.4 we show how to extend these representations to the whole real line.