Implemented the spin.renumber() user function.
Authored by: bugman 2007-11-18
Parent: [r3565]
Child: [r3567]