Type Definition typenum::P528

type P528 = PInt<U528>;