How to manage NOM during a Redenomination?
As during each Redenomination round the last decimal is burned, each player should choose to buy or sell such last decimal of NOM value, thus choosing between increasing the amount of NOM in their account and obtaining current income.