[−][src]Type Definition typenum::N517

type N517 = NInt<U517>;