Added polynomial powering (binary exponentiation)