pub const kHighsVarTypeInteger: HighsInt = 1;