PHP数字分隔符，setlocale

Question

我最近遇到了一个非常有趣的问题。 我在网站上有以下代码，生成一个由10位数字组成的数字，后跟一个句点（。），然后是2至4位数字。 我还使用gettext函数将页面翻译成2种其他语言

<?php
      $lang = "en_UK";
      putenv("LC_ALL=$lang");
      setlocale(LC_ALL, $lang);
      bindtextdomain("messages", "locale");
      bind_textdomain_codeset('messages', 'UTF-8');
      textdomain("messages");

      list($usec, $sec) = explode(" ",microtime());
      $my_number = ((float)$usec + (float)$sec + (float)rand(1, 100000000));
?>
      <form method ="POST" action="">
          <input type="hidden" value="<?php echo $my_number; ?>"/>
          <input type="submit"/>
      </form>

到现在为止还挺好。 当$lang等于en_UK时 ，我得到了我需要的（1234567891.1234）。

但是，如果$lang等于it_IT或de_DE ，则$my_number会将格式更改为10位数字，然后是COMMA ，然后是2至4位数字（1234567891,1234）。

现在有人为什么会这样吗？？？ 非常感谢 ：）

Answer 1

对于如何写数字，不同的国家有不同的约定。 setlocale更改程序使用的约定。