Brazil’s currency conundrum