The int() function (aliased to getint()) doesn't handle that, so we must
use self.tk.getint() again...