Constant GL_DOUBLE_EXT

pub const GL_DOUBLE_EXT: u32 = 5130; // 5_130u32