Type Definition typenum::N257

type N257 = NInt<U257>;