Symbol: add_uints_prop