im usng this code to get php microtime
$date = round(microtime(true) * 1000);
the echo result i get like this
1.42020381242E+12
how do i make sure the microtime is just numbers no special characters or strings like this
1420209804538
on the localhost everything was ok and getting just numbers BUT on the server it's gettings numbers and String and a dot(.)
Question 2
also how do i added more 15 minute to the current microtime