encodeDoubleElement

abstract fun encodeDoubleElement(    descriptor: SerialDescriptor,     index: Int,     value: Double)

Encodes a 64-bit IEEE 754 floating point value associated with an element at the given index in serial descriptor. The element at the given index should have PrimitiveKind.DOUBLE kind.