Type Definition typenum::P829

type P829 = PInt<U829>;