K 10 svn:author V 6 jdorje K 8 svn:date V 27 2005-03-23T05:37:04.000000Z K 7 svn:log V 216 Backport: 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