Type Definition typenum::P70

type P70 = PInt<U70>;