R devel - Dec 2013 - bug in default print method / floating point problem?

In R 3.0.2, I found this weird behavior:
> 7/0.07
[1]100
> 6/0.06
[1] 100

There's one space missing between the bracket and the 100 in the first
case. I don't know if this is a known bug or not. It might have
something to do with precision of floating point numbers:
> options(digits=22)
> 7/0.07
[1] 99.99999999999998578915

Maybe R doesn't add the extra space when it rounds the number for
display? This is probably an irrelevant issue, but I thought I would
report it just in case.

Pablo Barbera

On 05/12/2013 21:50, Pablo Barber? wrote:
> In R 3.0.2, I found this weird behavior:
>
>> 7/0.07
> [1]100
>> 6/0.06
> [1] 100
>
> There's one space missing between the bracket and the 100 in the first
> case. I don't know if this is a known bug or not. It might have
> something to do with precision of floating point numbers:
>
>> options(digits=22)
>> 7/0.07
> [1] 99.99999999999998578915
>
> Maybe R doesn't add the extra space when it rounds the number for
> display? This is probably an irrelevant issue, but I thought I would
> report it just in case.
>
> Pablo Barbera
Sees to be the same as the recent bug report PR#15583, which is under 
investigation.

R always used to round before computing the width, but someone 
'optimized' it recently: 3.0.1 did not do this.

-- 
Brian D. Ripley,                  ripley at stats.ox.ac.uk
Professor of Applied Statistics,  http://www.stats.ox.ac.uk/~ripley/
University of Oxford,             Tel:  +44 1865 272861 (self)
1 South Parks Road,                     +44 1865 272866 (PA)
Oxford OX1 3TG, UK                Fax:  +44 1865 272595