Type Definition typenum::P716

type P716 = PInt<U716>;