Type Definition typenum::P532

type P532 = PInt<U532>;