Type Definition typenum::P620

type P620 = PInt<U620>;