I don’t have Grok, but maybe we can ask @AInostrOFFLINE what Arabic numerals are.