Exponentiation by squarring (recursive).