Symbol: digit_argument