pub const kHighsVarTypeImplicitInteger: HighsInt = 4;