microtime(true)
Retorna el tiempo en un float de milisegundos ... quizas así te ahorras transformaciones...
Manual
Código PHP:
Ver original<?php
// Sleep for a while
$time = $time_end - $time_start;
echo "Did nothing in $time seconds\n";
?>
El error creo que lo tienes al usar el number format con el separador de miles
number_format(($tiempo_[2] - $tiempo_[1]),2, "." ,
",");