Type Definition typenum::P852

type P852 = PInt<U852>;