Type Definition typenum::P524

type P524 = PInt<U524>;