php microtime（）表现不同

Question

我正在使用API​​，它使用以下函数计算时间戳：

public function timestamp() {
  return round(microtime(TRUE) * 1000);
}

但是当我在我的localhost和我的webhost上调用该函数时，我会收到以下内容：

1.37872612307E + 12

但如果我让其他人在他们的服务器上运行相同的代码（并使用http://writecodeonline.com/php/），我会得到以下内容，并更正时间戳：

1378726142452

但为什么？

在OSX和unoeuro.com webhost上运行XAMPP。

Answer 1

基于@FrederikSpang评论

您可以在precision文件中设置php.ini设置。它应该比你的大（14）

对于我的ini设置是16：

precision = 16

Answer 2

检查precision中的php.ini设置。

了解不同的值如何影响您的函数输出：http://ideone.com/9MMLvD