--TEST--
Bug #27678 (number_format() crashes with large numbers)
--FILE--
<?php

number_format(1e80, 0, '', ' ');
number_format(1e300, 0, '', ' ');
number_format(1e320, 0, '', ' ');
$num = number_format(1e1000, 0, '', ' ');
var_dump(strlen($num) == 3); // $num == 'inf'

echo "Done\n";
?>
--EXPECT--
bool(true)
Done
