On finding the average of two unsigned integers without overflow

The average of two unsigned integers, rounding toward zero, sounds easy. But it gives the wrong answer in the face of integer overflow. For example, if unsigned integers are 32 bits wide, then it says that average(0x80000000U, 0x8000000U) is zero.