Type Definition typenum::P581

type P581 = PInt<U581>;