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).