Addition for integer vectors might now work