Re: Motion 46: finalise interval literals, amendments
On 2013-07-09 05:20:04 -0700, Dmitry Nadezhin wrote:
> > Otherwise an arbitrary precision library may be needed to
> > evaluate (simplify) rational numbers.
>
> Arbitrary precision library is not a trouble.
> Conversion of decimal string to binary floating-point
> with correct rounding already requires
> arbitrary precision library.
Multiple precision, yes. But arbitrary precision is not necessary,
as the needed precision is bounded, AFAIK.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)