Type Definition typenum::P853

type P853 = PInt<U853>;