code: void writeInt(int value) throws IOException {
          if ((value & 0xfffffff8) == 0) {
              output.append((char) (value + 48));
          } else {
              output.append(Integer.toString(value));
          }
      }
docs: Writes a JSON int.
  
  @param value  the value
  @throws IOException if an error occurs