Symbol: check_alldigits