Type Definition typenum::N567

type N567 = NInt<U567>;