Add binary_pow.recursive.