@DIGITS[n]:  Gibt 1 zurück , wenn die Zeichenkette nur aus Dezimalziffern besteht, andernfalls 0. Das Dezimalzeichen, das Tausenderzeichen und die Vorzeichenzeichen (+ oder -) sind keine Ziffern, und wenn sie in der Zeichenkette vorhanden sind , gibt @DIGITS0 zurück .

 

Beispiele:

 

echo %@digits[12345]

1

 

echo %@digits[-12345]

0

 

echo %@digits[1.2345]

0