add_double_element

Description:

[ Version ( since = "0.8" ) ]
public void add_double_element (double value)

Conveniently adds the given floating point value into an array.

See also: [method@Json.Array.add_element], [method@Json.Node.set_double]

this	a JSON array
value	the floating point value to add