Type Definition typenum::consts::N880

type N880 = NInt<U880>;