Post #3472000

@SnoopJ@hachyderm.io @kojoidrissa@fosstodon.org I think the inconsistency is surprising, but IMO `int()` should actually do neither this nor other non-western-arabic numbering schemes! it's IMO a good example of two (eminently) reasonable concerns being mixed rather than properly isolated -- `int()` should turn non-formatted western arabic digits into numbers, and there should probably be an `int.parse()` or similar API that can handle different numeral systems, i18n, infixes, etc.