Re: Motion 46: finalise interval literals, amendments
On 2013-07-09 11:32:37 -0400, Michel Hack wrote:
> Replying to Dima, Vincent wrote:
> > > 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.
>
> True for decimal string input (max precision needed for binary64 is
> less than 800 digits), but it gets tricky for rational input, which
> was the actual context here.
That's precisely why I wondered whether there could be a limit for
integers in the context of rational literals.
--
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)