1--TEST--
2Bug #27678 (number_format() crashes with large numbers)
3--FILE--
4<?php
5
6number_format(1e80, 0, '', ' ');
7number_format(1e300, 0, '', ' ');
8number_format(1e320, 0, '', ' ');
9number_format(1e1000, 0, '', ' ');
10
11echo "Done\n";
12?>
13--EXPECT--
14Done
15
