Milliseconds in PHP

In PHP, for example, there is a number 1.319983091E+12 (time() / 1000), milliseconds, analogous to new Date().getTime(). Question: how to transfer the number to normal? That is, for example, 1319982493275, or is there another way to find out milliseconds?


Answer 1, authority 100%

microtime(1)will return the time in float. Further, I think, you will understand)


Answer 2, authority 50%

<?php
    list($a, $b) = explode(" ", microtime());
    $millis = $b * 1000 + round($a * 1000);
    echo $millis;
    //  :
    echo round(microtime(true) * 1000);
?>

Answer 3

They write (http://php.su/learnphp/datatypes/?integer) that in PHP integers are usually 32 bits long (from -2 147 483 648 to 2 147 483 647).

Therefore, the time in milliseconds since 1/1/1970 cannot be represented as an integer.