K 10
svn:author
V 3
das
K 8
svn:date
V 27
2005-03-18T02:27:59.000000Z
K 7
svn:log
V 101
Fix the double rounding problem with subnormals, and
remove the XXX comments, which no longer apply.

END