code: public void writeDouble(final int fieldNumber, final double value)
                            throws IOException {
      writeTag(fieldNumber, WireFormat.WIRETYPE_FIXED64);
      writeDoubleNoTag(value);
    }
docs: Write a {@code double} field, including tag, to the stream.