Getting int32 into shader

nice.

.
allocating the buffer and texture like this:

// instance variables
ofBufferObject pixelBufferDist;
ofTexture texDist;

// later, setup
pixelBufferDist.allocate();
pixelBufferDist.bind(GL_TEXTURE_BUFFER);    
pixelBufferDist.setData(vector<uint32>, GL_STREAM_DRAW);

texDist.allocateAsBufferTexture(pixelBufferDist, GL_R32UI);
                
// set texture
shader.begin();
shader.setUniformTexture("texDist", texDist, 0);    
shader.end();

updating the data like this:

pixelBufferDist.updateData(0, vector<uint32>);