Symbol: add_with_wraparound