[][src]Type Definition typenum::N507

type N507 = NInt<U507>;