BUG Workaround for mysql unable to format decimal numbers in some locales