You can make map(/.([0-9]+)$/, into map(/.(\d+)$/, too.
In reply to Re^2: one-line split file sequence checker by kyle in thread one-line split file sequence checker by wdef2