Vectors are sign-extended to 32-bits