Symbol: SOLV_ERROR_OVERFLOW