Misplaced decimal point gives extra £40,000 to worker, who spends it

I agree. The way most fiat currencies work, they are nominally “owned” by the bank that minted them. They never actually belong to the users.