On Thu, Nov 12, 2015 at 04:54:33PM -0800, Jean-Pierre Flori wrote:
> So what should be the meaning of float_len and float_len2?
> If it must be assumed that float_len < float_len2, then maybe a warning
> should be issued when the precision falls back to machine precision?
This was a misinterpretation (maybe unsufficient documentation):
float_len is the visible number of digits, float_len2 the number of
additional, invisible digitss - NOT the number of all digits.