remove digits token - just use <integer>