--TEST-- Bug #27678 (number_format() crashes with large numbers) --FILE-- <?php number_format(1e80, 0, '', ' '); number_format(1e300, 0, '', ' '); number_format(1e320, 0, '', ' '); number_format(1e1000, 0, '', ' '); echo "Done\n"; ?> --EXPECT-- Done