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