Doesn’t feel entirely fair to call that base-10000. Practically, it’s just base-10 with an idiosyncratic and mandatory ligation scheme involving mirroring, and

Doesn’t feel entirely fair to call that base-10000. Practically, it’s just base-10 with an idiosyncratic and mandatory ligation scheme involving mirroring, and only defined for 0001–9999 and not 0000 for some reason (though it’s obvious how zero should be represented).