直書きphp で Unix日付の小数点以下をとるには

お仕事で、wordpressが吐き出してるunix日付と同じ数字を、スクラッチなphpで出すことになった。
こういうの。

1234567899.9999

phpでただこうやってやると

echo time()

結果は

1234567899

しか取れないので、

list($micro, $unixtime) = explode(" ", microtime());
$unixtime = $unixtime + $micro;
echo $unixtime;

ってやった。
そんだけです。