Type Definition typenum::consts::N131072

type N131072 = NInt<U131072>;