[][src]Type Definition typenum::N514

type N514 = NInt<U514>;