Avoid localized decimal delimiter for integer

Fixes #12038
(cherry picked from commit 5c6067f1d31a3fcd7cfd93631df84f18fab7750f)