Constant rustc_apfloat::IEK_INF

pub const IEK_INF: ExpInt = ExpInt::MAX; // 32_767i16