Type Definition typenum::consts::P716

type P716 = PInt<U716>;