pub const kHighsInfoTypeInt64: HighsInt = -1;