misc: fix isdigitstr()
make internal debugging system more flexible (and slower)