Venezuela cuts exchange rate in half. Odd an oil exporter has to devalue its currency, isn’t it? Could anything be systemically wrong?