Type Definition typenum::P884

type P884 = PInt<U884>;