Constant kHighsOptionTypeDouble

Source
pub const kHighsOptionTypeDouble: HighsInt = 2;