added casting to vector of ints