RE: Arbitrary precision reals?