revision 9af57d4f83c19b4f280eb6e0d1d47bce843c3bad
https://www.mail-archive.com/internals@lists.php.net/msg95836.html https://bugs.php.net/bug.php?id=77278 https://gielberkers.com/floating-point-numbers-in-php-and-your-system-locale/