Type Definition typenum::consts::N417

type N417 = NInt<U417>;