Type Definition typenum::P539

type P539 = PInt<U539>;