[altaltalt]

Can't it simply be written like this?

    mid = low/2 + high/2

[Godel_unicode]

Division is not associative:

https://www.khanacademy.org/math/arithmetic-home/multiply-di...

[mimon]

While that is true it is not relevant here, since this example does not involve associativity.

What is relevent here is that integer division is not distributive over addition.

[dataflow]

Nope, try low = 1, high = 1 and you get mid = 0.

[benmmurphy]

i think you can fix it with: (low >> 1) + (high >> 1) + (low & 1 & high)

for unsigned numbers. not sure if it works for signed numbers.

[curling_grad]

For low=3, high=5 case, this gives mid=3.