On 21Oct2022 16:55, Stefan Ram <ram at zedat.fu-berlin.de> wrote: > I was not aware of "isdigit". There's also "isdecimal" and "isnumeric". They all have subtly different meanings :-) Cheers, Cameron Simpson <cs at cskk.id.au>