pub const kHighsInfoTypeDouble: HighsInt = 2;