Simple script for basic measuring time - PHP

time.php

<?php
/*
 * Simple script for basic measuring time
 *
 * See: https://groups.google.com/d/topic/phpperu/UAoqzKt2Cdc/discussion
 */
 
$before = microtime(true);

for ($i=0 ; $i < 1000000; $i++) {
	//$result = (int)(((0.1) + (0.7)) * 10); //result: 7, should be 8
	//$result = (int) (bcmul(bcadd('0.1','0.7',1),'10')); //result: 8
	//$result = round((((0.1) + (0.7)) * 10), 0, PHP_ROUND_HALF_UP);
	$result = round((bcadd('0.1', '0.7') * 10), 0, PHP_ROUND_HALF_UP);
}

$after = microtime(true);
echo (($after-$before)/$i) . " seconds\n";