Constant NUMPRS_LEADING_PLUS

pub const NUMPRS_LEADING_PLUS: u32 = 4;