diff --git a/core/Intl/Locale.php b/core/Intl/Locale.php
index 05cf51a8e39f9616b077302257a9f9ff51683b4a..684861237e1ade56c69f5f55aa5e6b4420f6be28 100644
--- a/core/Intl/Locale.php
+++ b/core/Intl/Locale.php
@@ -32,7 +32,7 @@ class Locale
         setlocale(LC_ALL, $newLocale);
         setlocale(LC_CTYPE, '');
         // Always use english for numbers. otherwise the decimal separator might get localized when casting a float to string
-        setlocale(LC_NUMERIC, array('en_US.UTF-8', 'en-US'));
+        setlocale(LC_NUMERIC, array('en_US.UTF-8', 'en-US', 'C.UTF-8', 'C'));
     }
 
     public static function setDefaultLocale()