Странное поведение с классом NumberFormatter ⇐ Php

[Anonymous]

Сейчас я играю с классом NumberFormatter, но заметил странное поведение.
Я пытаюсь получить две дробные цифры, но в зависимости от Версия PHP, иногда результат правильный, а иногда только одна дробная цифра.

Код: Выделить всё

$formatter = new \NumberFormatter("fr_FR", \NumberFormatter::PADDING_POSITION);
$formatter->setAttribute(\NumberFormatter::MIN_FRACTION_DIGITS, 0);
$formatter->setAttribute(\NumberFormatter::MAX_FRACTION_DIGITS, 2);

echo $formatter->format(12345);

Вот фрагмент, иллюстрирующий мою цель: https://3v4l.org/9kFeb
Результат: 12,34 тыс. в одних версиях 12,3 тыс. в других.
Мне интересно, что происходит, это у меня пример неправильный?
Что у меня есть пробовал:

• Пробовал разные версии PHP.

Подробнее здесь: https://stackoverflow.com/questions/793 ... tter-class