hm... I don't think there is or there will ever be a device that has support for OpenGL and doesn't have 32bit ints :D but I will change it as that's probably the "better" way to clarify that this is important to be 32bit.