Fixed problematic type inference when exponentiating KVector{K} whe…

…n `K` is odd

src/math.jl

@@ -495,7 +495,7 @@ end
 sandwich(x::BaseNumber, ::CliffordNumber) = x
 
 #---Exponentials-----------------------------------------------------------------------------------#
-import Base: exp
+import Base: exp, ^
 
 """
     CliffordNumbers.intlog2(x::Real) -> Int
@@ -529,6 +529,10 @@ end
 
 exponential_type(x::AbstractCliffordNumber) = exponential_type(typeof(x))
 
+# KVector{K} promotes incorrectly for odd k due to broken type inference, see this issue:
+# https://github.com/JuliaLang/julia/issues/53504
+^(k::KVector, n::Integer) = convert(exponential_type(k), k)^n
+
 """
     CliffordNumbers.exp_taylor(x::AbstractCliffordNumber, order = 12)