Estoy tratando de pasar el tiempo entre dos cadenas de fecha y hora (incluidos milisegundos)

ejemplo:

<code>$pageTime = strtotime("2012-04-23T16:08:14.9-05:00");
$rowTime = strtotime("2012-04-23T16:08:16.1-05:00");
$timePassed = $rowTime - $pageTime;
echo $timePassed . "<br/><br/>";
</code>

Lo que quiero ver en eco es "1.2" perostrtotime() ignora la parte de milisegundos de la cadena. Además, al parecermicrotime() no le permite asignarle un datstring ... ¿Existe una función alternativa para calcular esto o tendré que hacer un análisis de cadena para extraer los segundos y milisegundos y restar?