Type Definition typenum::N516

type N516 = NInt<U516>;