K 10
svn:author
V 3
das
K 8
svn:date
V 27
2007-05-08T02:59:37.000000Z
K 7
svn:log
V 49
Fix a rounding error.

Reported by: Bruno Haible

END