Type Definition typenum::P536

type P536 = PInt<U536>;