IntRange(…) -> NumRange(IntTpe, …)