fpprintprec and leading zeros



On 12/29/2013 6:24 PM, Robert Dodier wrote:
> On 2013-12-29, Tamas Papp <tkpapp at gmail.com> wrote:
>
>> The problem with that is that it still won't give the correct result for
>> 0.1860.
> Well, I dunno. What should happen with trailing zeros in general? Should
> 0.5 be printed as 0.500000000000000 by default? Maybe, maybe not.
>
>
The specification for printing of floats in Fortran, C, Common Lisp ... 
cannot be reduced to a
single "printprecision"  specification.   If you want all the options 
you have to be able to specify things
like field width, scaling factor, etc etc.

You can, as I just mentioned, use decimal bigfloats (with rounding) to 
do any of this stuff to arbitrary
precision.  See the float.lisp file.

We could allow fpprintprec to be set to something other than an 
integer.  e.g.  "10.6E"


RJF