Type Definition typenum::P857

type P857 = PInt<U857>;