Setting shader precision for int

The same precision between vertex and fragment shaders needs to be used
for int (see Issue #3146)