Scroll Sensitivity slider label uses OS locale for number formatting

Can confirm in 1.19.

Code analysis (yarn 1.19)
In GameOptions we can find the following line:

GameOptions.java

this.mouseWheelSensitivity = new SimpleOption<>("options.mouseWheelSensitivity", SimpleOption.emptyTooltip(), (optionText, value) -> getGenericValueText(optionText, (Text)Text.literal(String.format("%.2f", new Object[] { value }))), /* omitted */);

This uses String.format without explicit locale. This causes it to format using system locale instead. Fixing this is straightforward; just replace it with String.format(Locale.ROOT, "%.2f".