[][src]Type Definition typenum::N808

type N808 = NInt<U808>;