ho questa funzione presa dal sito php.net

Codice PHP:
function getmicrotime(){
   list(
$usec$sec) = explode(" ",microtime());
   return ((float)
$usec + (float)$sec);

Restituisce qualcosa tipo: 0.000408887863159

questa stringa sn sicuro che esprime tutto il Secondi...come porto questo tempo in millisecondi? Ho provato a fare:

round(0.000408887863159,5) * 1000
e dovrebbe restituire qualcosa tipo

0.41 ms

questo calcolo è corretto=?