Type Definition typenum::P923

type P923 = PInt<U923>;