BabelStone: How many Unicode characters are there