2014-10-09 16:29:47 -04:00
|
|
|
// Out of 32-bit integer range, switch to double in 32-bit mode. Length the
|
|
|
|
|
// same as UINT_MAX in base 10 and digit less than UINT_MAX's last digit in
|
|
|
|
|
// order to catch a bug in the parsing code.
|
2011-05-24 03:19:50 +00:00
|
|
|
.=4300000001
|
