[math-fun] Help with a PowerPowerMod