reverse an int in python