Type Definition typenum::N380

type N380 = NInt<U380>;