Although (a + b)/2 rounds towards 0, while the non-overflow solutions round up or down.