[][src]Type Definition typenum::P131072

type P131072 = PInt<U131072>;