
28 Apr
2005
28 Apr
'05
1:57 p.m.
On 4/12/05, Andras Erdei <aerdei@gmail.com> wrote:
exact (unlimited precision) arithmetic is a different issue, which may or may not have something to do with the discussion about rational<>
just found an (non-rational<>) exact type with c++ implementation (but haven't checked it yet): http://more.btexact.com/people/briggsk2/XR.html http://www.google.com/search?hl=en&q=constructive+reals+boehm+hans&btnG=Google+Search br, andras