Преобразование строки в число с плавающей запятой в php

Я получаю некоторые контрольные данные о времени выполнения страницы. Он предоставляется фреймворком в виде строки. Я хочу преобразовать его в число с плавающей запятой, умножить на 1000 и сохранить в БД как int. Кажется, он ведет себя очень странно, и я надеялся, что кто-нибудь поможет мне понять, почему. Вот код:

    $elapsed = $this->benchmark->elapsed_time();
    var_dump("before:");
    var_dump($elapsed);

    $elapsed = floatval($elapsed);

    var_dump("after:");
    var_dump($elapsed);

Вот результат:

РЕДАКТИРОВАТЬ: Я понял это благодаря тому, что кто-то указал на неправильную длину строки. По-видимому, метод возвращает строку '{elapsed_time}', платформа буферизует вывод, а затем заменяет эту строку окончательным временем оценки. Спасибо за помощь.