New fpprec default value (Was Re: Precision of float and bfloat)



Richard Fateman wrote:
> I think it is a mistake to set fpprec by default to be sort-of like the 
> precision of an IEEE double-float.
> It is confusing, as this message below suggests.  If fpprec were set by 
> default to about 32 decimal digits,
> it would be clear that it is for "big floats".  Actually, fpprec can be 
>   
I agree.  I think we should change the default value of fpprec to be
more than 16.  32 is a decent choice.  Or if that's too many, perhaps 24
or 25 digits.

Ray