The interface has changed. This is a bad thing to
do, but it was required by the Arithmos project,
for which this library is developed after all.
The internal representation was adapted such that
the library now implements the ideas in the
article "Universal semantics for computer
arithmetic implementations" by B. Verdonk, J.
Vervloet, and A. Cuyt, which has been submitted to
TJCS.