Type Definition typenum::P562

type P562 = PInt<U562>;