Type Definition typenum::consts::N516

type N516 = NInt<U516>;