better number_format_locale version based on intl/Locale/NumberFormatter