K 10
svn:author
V 6
iulius
K 8
svn:date
V 27
2010-02-08T21:07:38.322218Z
K 7
svn:log
V 101
Comment corrected:  arguments of ok_double() are double, not integer.

Patch from Heiko Schlichting.

END
