Type Alias P823

pub type P823 = PInt<U823>;