Type Definition typenum::P571

type P571 = PInt<U571>;