Add IntegerRange for Wcatch-value= option.