// This number is too large, but we don't check in the scanner.  
-2147483649
