2014-10-09 22:29:47 +02: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 05:19:50 +02:00
|
|
|
.=4300000001
|