PHP NumberFormatter дает противоречивые результаты

Я запускаю следующий очень простой скрипт на сервере Apache:

<?php
$formatter = new NumberFormatter('de_DE', NumberFormatter::DECIMAL);
var_dump($formatter->parse('9,90'));

Ожидаемый результат float(9.9), Однако, когда я обновляю страницу пару раз подряд, она показывает float(9.9) или же float(9), Я отлаживал это довольно долго, но у меня нет идей. У кого-нибудь есть идея, что может вызвать это?

Это происходит на сервере под управлением Debian 8.10 / Apache, и я также видел это раньше на другой машине с Debian 8.9 / lighttpd (но по какой-то причине больше не могу там воспроизводиться).