Type Definition typenum::consts::P823

type P823 = PInt<U823>;