Symbol: hal_property_new_double