[][src]Type Definition typenum::N885

type N885 = NInt<U885>;