Why this could be better than (x+y)/2, since they both overflows?