open fun encodeDouble(value: Double): Unit
Encodes a 64-bit IEEE 754 floating point value. Corresponding kind is PrimitiveKind.DOUBLE.