when one changes the base-currency, the prices of products remain with the digits of the previous currency. So someone has to export fix prices, and import again. This should be auto, i.e. the price-digits should change to the new currency.