Added integer flavor of vectors