Type Alias P873

pub type P873 = PInt<U873>;