changed I3VectorInt to VectorDouble