JQuery Number Spinner

Hi,

Is the number Spinner mentioned on mentioned on the following page still supported and functional in the latest release: http://docs.jquery.com/UI/Spinner?

I have not been able to get the spinner working, and the source code of the page is pointing to an old version.

Thanks,
Steve