No I already know this. I meant that I never saw a wallet that displayed them, but then it was pointed out to me that this is just a European decimal point.