php microtime()的行为不同

Question

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

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

但是，当我在本地主机和我的get主机上调用该函数时，我得到以下回报：

1.37872612307E+12

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

1378726142452

但是为什么呢？

在OSX和unoeuro.com and主机上运行XAMPP。

Answer 1

基于@FrederikSpang的评论

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

对于ex，ini设置为16

precision = 16

Answer 2

检查precision设置在您的php.ini中。

查看不同的值对函数输出的影响：http://ideone.com/9MMLvD