Constant DEC_CLASS_POS_INF

pub const DEC_CLASS_POS_INF: decClass = 9;