Php 从microtime中删除所有字符串并向其中添加分钟

我使用这段代码来获取php微时间

$date = round(microtime(true) * 1000);

我得到的回声结果是这样的

1.42020381242E+12

如何确保microtime只是数字，而不是像这样的特殊字符或字符串

1420209804538

在本地主机上，一切正常，只获取数字，但在服务器上，它获取数字、字符串和点（.）

问题2

另外，我如何在当前的微时间中增加15分钟的时间，您可以使用

比如,

echo filter_var($date, FILTER_SANITIZE_NUMBER_INT); 

使用Mark Bakers评论，添加15分钟，您只需执行以下操作：

echo filter_var( ($date + 15 * 60 * 1000), FILTER_SANITIZE_NUMBER_INT);

编辑 可以使用正则表达式删除任何非数字字符。比如说

preg_replace("/[^0-9]/", "", $date);

编辑2 您可以使用以下正则表达式捕获字符串的最后一部分

$re = "~\s(\d+)~"; 
$str = "12 + 142020602353 "; 
preg_match($re, $str, $m);
echo $m[0];

---

该值为实数；是echo根据设置以科学的格式呈现它。。。。使用sprint（）或类似工具进行显示，以确保它不会以科学格式显示，若要添加15分钟，只需添加15*60*1000@MarkBaker我该在哪里补充呢？你能把它作为答案发布吗：）

$date+=15*60*1000@MarkBaker我明白了，它工作得很好，你能不能只提供整数的例子，请把它全部贴出来作为答案来标记和接受答案非常好，但仍然有+12的时间来看看我应该使用
str\u replace
还是有办法删除它？这是一种使用
preg\u replace
的好方法，但它会在最后保留12个数字这会导致时间错误。您意识到，您试图从中删除字符串数据的值实际上不是一个字符串，而是一个浮点数？@MarkBaker it is string我使用非常简单的代码
（int）（microtime（true）*1000）修复了它