- microtime: documentation ( source)
<?php
$x=120311023;
$y=321231231;
$t=microtime();
$quad_x = $x & 32768 ? 1 : 0;
$quad_y = $y & 32768 ? 1 : 0;
echo microtime()-$t."\n";
$t=microtime();
list($x,$y)=array($x & 32768 ? 1:0,$y & 32768 ? 1 : 0);
echo microtime()-$t."\n";