edf7ef7 perf:Faster happy number check.