K 10
svn:author
V 3
dim
K 8
svn:date
V 27
2012-03-12T11:22:23.346614Z
K 7
svn:log
V 106
Amend r232857, now dropping the casts entirely, as they were not
necessary at all.

Submitted by:	stefanf

END