Symbol: hal_property_get_double