Re: mpz_sizeinbase

[Kevin Ryde]

"Winfried Dreckmann" <address@hidden> writes:
> 
> I get 0X1.34413509F79FDP-2 on my machine which I think explains the
> issue.

Yes.

> For some reason 2 of those 53 bits get lost.

Hmm.  I think gcc might convert floats with atof, so maybe this is a
glibc problem, or maybe it depends on the rounding mode.

> But even with 53 bits of precision I see no proof that the original
> problem cannot occur.

You might be right there.

> The problem is that I want to use the function for a math library. So I
> want it to be correct or, at least, know the range in which it is
> correct.

Well it's supposed to be right all the time :), anything else is a
bug.