redo as Integer#self_power and Integer#tail