Type Definition typenum::N32

type N32 = NInt<U32>;