pub const kHighsOptionTypeDouble: HighsInt = 2;