[][src]Type Definition typenum::N876

type N876 = NInt<U876>;