Constant NUMPRS_LEADING_PLUS 

pub const NUMPRS_LEADING_PLUS: u32 = 4;