[math-fun] Revenant numbers