[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.