2014-10-10 04:29:47 +08: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 11:19:50 +08:00
|
|
|
.=4300000001
|