pub const NUMPRS_LEADING_MINUS: u32 = 16;