Constant GL_DOUBLE_EXT 

pub const GL_DOUBLE_EXT: u32 = 5130u32;