Type Definition typenum::N4

type N4 = NInt<U4>;