Fixed another bug in the spin.renumber() user function.
The spin number was been checked if it was a string whereas the check should have been for an int.
Authored by: bugman 2007-11-18
Parent: [r3577]
Child: [r3579]