pool_value_set_double
pool_value_set_double($$->prop_value, $4.d);
PoolInternal.pool_value_set_double(_this, value);
pool_value_set_double((pool_value_t *)(uintptr_t)jvalue, (double)jd);
(void) pool_value_set_double(pv_new, dval);
extern void pool_value_set_double(pool_value_t *, double);
pool_value_set_double(&prop->pp_value, val);
pool_value_set_double(pv, dval);
pool_value_set_double(value, atof((const char *)data));
pool_value_set_double(value,