Type Alias P857

pub type P857 = PInt<U857>;