Type Definition typenum::consts::N817

type N817 = NInt<U817>;