Json.Node.set_double Reference Manual
Json.Node.set_double:
Description:
public
void
set_double (
double
value)
created by
valadoc