Add binary modular exponentiation