pub const IEK_ZERO: ExpInt = ExpInt::MIN + 1; // -32_767i16