use INT_MIN if INT32_MIN is not defined