Apparently the difference between isdecimal and isdigit is that that the latter is more expansive with respect to non ASCII digits, so this is working as expected.