Type Definition typenum::N518

type N518 = NInt<U518>;