[][src]Type Definition typenum::N887

type N887 = NInt<U887>;