Type Definition typenum::P832

type P832 = PInt<U832>;