I have encountered the rate-limited spinner (#8) and the self-resizing slider (#5) in real desktop UIs.

#3 are almost like Google Maps' zooming buttons. They jump around more, making you click on the map itself or swap in/out.