Type Alias P872

pub type P872 = PInt<U872>;