Implementation of GL_EXT_texture_env_dot3.