Added bisection by a function (bolzano), bisect and diam.
Added RadixStreams: Streams of digits for integers and rationals in a given
radix.
Added a `trunc` function for RadixStream which converts to an _exact_ number
(one with finite developement).