Online PHP editor | refs for igpbv

@ 2012-07-17T12:31:56Z

<?php
(number_format(1e80, 0, '', ' '));
(number_format(1e300, 0, '', ' '));
$a = (number_format(1e320, 0, '', ' '));
echo strlen($a);
unset($a);
echo 4;
number_format(1e1000, 0, '', ' ');

echo "Done\n";
?>