in serialization/src/main/java/com/twitter/serial/stream/bytebuffer/ByteBufferSerializerOutput.java [133:142]
public ByteBufferSerializerOutput writeDouble(double val) {
if (val == 0d) {
writeHeader(ByteBufferSerializerDefs.HEADER_DOUBLE_ZERO);
} else {
writeHeader(ByteBufferSerializerDefs.HEADER_DOUBLE);
ensureCapacity(ByteBufferSerializerDefs.SIZE_DOUBLE);
mByteBuffer.putDouble(val);
}
return this;
}