Comment by borntyping

Nearly all binary searches and mergesorts are broken in languages with bounded integers.