It's actually the other way around for dollars. We should name 100 dollars as 1 dollar due to inflation 🤣 And in fact we've seen this in the past! Like the new mark vs the old mark.