Symbol: hal_property_set_double