Use MAX_INT_TYPE instead of 0x7fffffff as the upper limit for upwardly "unbounded" ranges. Rev: src/docode.c:1.172 Rev: src/language.yacc:1.325