Re: Finding bitness of gp

[Ilya Zakharevich <nospam-abuse@ilyaz.org>]

On Sun, Dec 24, 2023 at 10:28:03PM -0800, Ilya Zakharevich wrote:
> On Tue, Dec 19, 2023 at 10:50:26AM +0100, Bill Allombert wrote:
> > > Should not there be O(1) way to find the current localbitprecision()?
> 
> > Yes, it is called getlocalbitprec().
> 
> As you could see from this mail thread, this name is not discoverable.¹⁾

Another missing (or not discoverable) piece of info: bitness of gp.
It seems to be silly (and very slow with high \p) to do

  (08:01) gp > bitprecision(bitprecision(1.,1))
  %2142 = 64

Or similar (and maybe even more directly needed): maximal exponent of
f.p. numbers…

Thanks,
Ilya