Fixed problem where INT32_MIN/MAX not found