[][src]Type Definition typenum::consts::P857

type P857 = PInt<U857>;