<div dir="ltr">what's the rationale for:<div>Range length must be greater than or equal to the sum of shift and the product of lengths</div><div>instead of:</div><div>Range length must be equal to the sum of shift and the product of lengths<br></div><div>?</div><div><br></div><div>It seems more lax and bug-prone.</div><div><br></div></div>