Type Definition typenum::N142

type N142 = NInt<U142>;