OK, what is this? I've skimmed the website, but I don't see anything about it except for it being a "tokenized lira". What is a lira, anyway? Old Italian currency?