Add an implementation using binary exponentiation.