Type Definition typenum::P417

type P417 = PInt<U417>;