Instead of

   (low + high) / 2

I use

   low + (high-low) / 2

to avoid any possible overflow.