Type Definition typenum::P742

type P742 = PInt<U742>;