Type Definition typenum::P579

type P579 = PInt<U579>;