- microtime: documentation ( source)
<?php
// casting vs. converting
$a="123456789098734098710823740812038401982703489710289743089170289347019827034978";
$a*="123456789098734098710823740812038401982703489710289743089170289347019827034978";
$a*="123456789098734098710823740812038401982703489710289743089170289347019827034978";
$a*="12345678909873409871082374081203848768767896777556666689170289347019827034978";
const runs=2000000;
$start=microtime(1);
for ($i=1;$i<runs;$i++) if ($start+0);
print 'Time: '.(microtime(1)-$start)."<br>\n";
$start=microtime(1);
for ($i=1;$i<runs;$i++) if ((int)$start);
print 'Time: '.(microtime(1)-$start);