Type Alias P875

pub type P875 = PInt<U875>;