K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-09-20T13:01:17.000000Z
K 7
svn:log
V 95
Fix rounding bug in last commit that would have caused the problem to not
be completely fixed.

END