Add binary_pow.{iterative, bigint}