Type Definition typenum::P883

type P883 = PInt<U883>;