Type Alias P785

pub type P785 = PInt<U785>;