Decimal separators are untranslatable

The Bug:

Minecraft currently only supports the decimal point (.) for value separation.

This becomes problematic for users in regions where the decimal points are not the standard separator for values, but instead the decimal commas (,) or similar (for example the Arabic decimal comma (٫)) are used.

Since about half of all languages use decimal commas for value separation instead of decimal points, a string similar to that of "options.percent_value", "options.framerate", "options.fullscreen.entry" or "options.pixel_value" is required to reflect each language's format properly.

Observed Behavior:

Minecraft does NOT support other formats for decimal separation in its language translations.

Expected Behavior:

Minecraft does support other formats for decimal separation in its language translations.

Here is a gif showing how this would look in the options menu.