Question: how to efficiently merge int ranges in a stream?