attaching Devanagari numerals occurring after double daṇḍas as part of attribute value