Bug#648182: closed by c.buhtz@posteo.jp (Not a bug)

[Dan Jacobson]

B> This is a simple rounding issue, not a bug. The real value might be
B> something like 8.01.

But it looks very bad all the same.