This has got to be some kind of vestige from Windows 3.11, when the spinner control was about 3x larger - relative to the common screen sizes of the time, that is.