TIL! Thanks. Fun fact, I just looked at my Aikido 2nd Dan certificate, and it uses a mix of formal and in-formal numerals. Informal for the certificate number and the date, and the formal character for '2' for my rank number.