code: public DigitBuffer append(String s) {
      int len = s.length();
      check(len);
      for (int i = 0; i < len; i++) {
        this.buf[size] = s.charAt(i);
        size++;
      }
      return this;
    }
docs: Append a string to the buffer, expanding it if necessary.