Seems like we have an overlap: you finalized just before the iota-range procedure (a variant of numeric-range) got PRed.  Can you merge the PR?