Constant windows_sys::Win32::Graphics::OpenGL::GL_DOUBLE_EXT

pub const GL_DOUBLE_EXT: u32 = 5130u32;