There's a nice little pun in "real", which is Portuguese for "real", as in "unit of real value", but also means "royal". In this latter sense, "real" had alread

There's a nice little pun in "real", which is Portuguese for "real", as in "unit of real value", but also means "royal". In this latter sense, "real" had already been used as the name of the Portuguese currency since 1380, and was used in Brazil until 1942. I don't speak Portuguese but IIUC the two meanings have different plurals.