Similar story in Norway, with 10 øre deprecated in early 90s; 50 øre in 2012. Prices are still 1 øre below a round number, even though the average Norwegian has never used coins of that denomination. (And lots of us haven’t really used cash for a couple of decades now.)