Type Definition typenum::P831

type P831 = PInt<U831>;