Parse <digits> correctly

Add util.shen