Type Definition typenum::consts::P824

type P824 = PInt<U824>;