-// If this value is above 0, the extension GL_EXT_gpu_shader4 is available
-// (giving round()) and you have enabled dithering, we will round off
-// explicitly at the very end of the shader.
-//
-// Note: I don't know of any cards that round off wrong (well, outside
-// our tolerance) and do not have this extension.