Is this a real devaluation or one of those where the government gives up on its unreasonable official rates?