code: public void append(DigitBuffer other) {
      check(other.size);
      System.arraycopy(other.buf, 0, buf, size, other.size);
      size += other.size;
    }
docs: Append the contents of the other buffer to this one.