Type Definition typenum::P65536

type P65536 = PInt<U65536>;