[][src]Type Definition typenum::N538

type N538 = NInt<U538>;