Addition and subtraction of (mantissa, exponent) represented reals is performed using the average and negation operations on the mantissa streams as follows:

Notice that the powers of two are always zero or negative, and hence
multiplication of a stream by 2^{-n} may be implemented using a simple
shift right (prefixing *n* zeros to the stream).