Type Definition typenum::N4096

type N4096 = NInt<U4096>;