php - PHPマイクロタイム欠落桁

Question

PHP で microtime(true) を使用すると、ほとんどの場合、小数点以下 6 桁になると予想されます。

<?php
//version 5.5.31

$time = microtime();
$timeTrue = microtime(true);

var_dump($time, $timeTrue);

// string(21) "0.64728900 1462577720"
// float(1462577720.6473)
?>

float に最初の 4 桁しか表示されないのはなぜですか? ときどき 3 桁しか得られないこともありますが、これは理にかなっています。float(1462577720.647289) を返してはいけません。つまり、ほとんどの場合 6 桁ですが、5 桁の場合もありますか?