Constant ILK_POSITIVE_INFINITY 

pub const ILK_POSITIVE_INFINITY: INTERVAL_LIMIT_KIND;