[mypyc] Add str.isdigit() primitive
#20893
+94
−0
Open
Loading