Type Definition typenum::P534

type P534 = PInt<U534>;