Type Definition typenum::P617

type P617 = PInt<U617>;