Type Definition typenum::consts::P880

type P880 = PInt<U880>;