K 10
svn:author
V 4
ache
K 8
svn:date
V 27
1997-09-25T22:44:21.000000Z
K 7
svn:log
V 152
Oops, wrong version of digittoint fix was commited, step back to v1.8
instead just remove '!!' to make digittoint() work and re-arrange
things a little

END