Type Definition typenum::consts::P417

type P417 = PInt<U417>;