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

type N872 = NInt<U872>;