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评论

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

因为我的ini设置是16 ：

precision = 16

Answer 2

检查php.ini precision设置。

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