next up previous contents
Next: Addition and Subtraction Up: Basic Operations Previous: Division by an integer

(Mantissa, Exponent) Operations

In order to define operations on the whole real line, a (mantissa,exponent) representation is used. The mantissa is either a dyadic or signed binary stream, and the exponent is an integer of unrestricted size. Addition, subtraction, and multiplication can all be implemented using a stream operation and modifying the exponent separately. The full division algorithm presented in this section is more complicated.


Martin Escardo