docs: private String digit(Data data) {
  	String rtn = "";
  	while (data.srcCode.isValidIndex()) {
  	    if (!data.srcCode.isCurrentBetween('0', '9')) break;
  	    rtn += data.srcCode.getCurrentLower();
  	    data.srcCode.next();
  	}
  	return rtn;
      }