Type Definition typenum::consts::P720

type P720 = PInt<U720>;