Type Definition typenum::P720

type P720 = PInt<U720>;