K 10 svn:author V 3 das K 8 svn:date V 27 2008-04-12T03:11:56.000000Z K 7 svn:log V 76 Updates for changes in the way printf() handles hex floating point numbers. END