nail down semantics of Ranged for #360