appendDouble

fun appendDouble(value: Double)

Appends value as a double, non-finite values included; JSON cannot read those back.