K 10 svn:author V 6 jdorje K 8 svn:date V 27 2005-03-23T20:27:01.000000Z K 7 svn:log V 223 Backport: take 2: convert the thousands separator from the local to the internal encoding. This fixes some bugs in locales where the separator is not ASCII. Reported by many in PR#10265. Fix by Mateusz Stefek and myself. END