using Integer3DVector = Generic3DVector<int>;