What I find interesting is that the implementation of `midpoint` is incorrect (should be `U difference = (U)y - (U)x;`), which is not a good look when you want

What I find interesting is that the implementation of `midpoint` is incorrect (should be `U difference = (U)y - (U)x;`), which is not a good look when you want to argue that unsigned makes everything more correct.