Преобразование PHP microtime() в микросекунды ⇐ Php

[Anonymous]

Я хочу получить секунды и микросекунды в одной переменной, используя функцию microtime(). Если я сделаю это:

Код: Выделить всё

$initial_time = microtime();
echo (explode(' ', $initial_time)[1]) . "\n";
echo (explode(' ', $initial_time)[0]) . "\n";
echo (explode(' ', $initial_time)[1]) + (explode(' ', $initial_time)[0]) . "\n";

Я получаю:

Код: Выделить всё

1419714319
0.05059700
1419714319.0506

Последняя строка такая же, как если бы я вызвал microtime(get_as_float) или microtime(true);.
Как мне получить полный результат 1419714319.05059700 вместо 1419714319.0506?

Подробнее здесь: https://stackoverflow.com/questions/276 ... croseconds