There seem to be OpenGL stacks that don't even define GL_DOUBLE.