Solving the ISIN puzzle for tokenized finance