[docs] [issue26483] docs unclear on difference between str.isdigit() and str.isdecimal()