Type Definition typenum::N530

type N530 = NInt<U530>;