pub const IPOPT_NUMBER_MASK: u32 = 31;