Constant GL_DOUBLE_EXT

pub const GL_DOUBLE_EXT: u32 = 5130;