[][src]Type Definition typenum::N512

type N512 = NInt<U512>;