smart_backspace_event(): remove now-pointless int() call.

Bugfix candidate:  the current state of AutoIdent.py should be in 2.2.1.