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, '', ' ');
9$num = number_format(1e1000, 0, '', ' ');
10var_dump(strlen($num) == 3); // $num == 'inf'
11
12echo "Done\n";
13?>
14--EXPECT--
15bool(true)
16Done
17