php получает микровремя из строки даты

Я пытаюсь получить время, прошедшее между двумя строками даты и времени (включая миллисекунды)

пример:

$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/>";

То, что я хочу видеть, это "1.2", но strtotime()игнорирует миллисекундную часть строки Кроме того, по-видимому, microtime()не позволяет вам указать строку даты... Есть ли альтернативная функция для вычисления этого, или мне придется выполнить синтаксический анализ строки, чтобы извлечь секунды и миллисекунды и вычесть?