Symbol: topo_prop_set_double