Binary exponentiation

Summary