Type Definition typenum::P72

type P72 = PInt<U72>;