Type Definition typenum::N563

type N563 = NInt<U563>;