@DIGITS[n]:  Renvoie 1 si la chaîne est composée uniquement de chiffres décimaux, sinon il ren voie 0. Le caractère décimal, le caractère des milliers et les caractères de signe (+ ou -) ne sont pas des chiffres, et s'ils sont présents dans la chaîne ,@DIGITS renvoie 0.

 

Exemples :

 

echo %@digits[12345]

1

 

echo %@digits[-12345]

0

 

echo %@digits[1.2345]

0