Type Definition typenum::P844

type P844 = PInt<U844>;