Type Definition typenum::consts::N887

type N887 = NInt<U887>;