_makeIntegerRangeSubpattern() in good shape; still to be tested and tweaked