diff --git a/include/kyosu/functions.hpp b/include/kyosu/functions.hpp
index 9f656b78..eef42653 100644
--- a/include/kyosu/functions.hpp
+++ b/include/kyosu/functions.hpp
@@ -16,6 +16,7 @@
 #include <kyosu/functions/conj.hpp>
 #include <kyosu/functions/cosh.hpp>
 #include <kyosu/functions/coth.hpp>
+#include <kyosu/functions/convert.hpp>
 #include <kyosu/functions/dec.hpp>
 #include <kyosu/functions/dist.hpp>
 #include <kyosu/functions/exp.hpp>
diff --git a/include/kyosu/functions/convert.hpp b/include/kyosu/functions/convert.hpp
new file mode 100644
index 00000000..a36c9378
--- /dev/null
+++ b/include/kyosu/functions/convert.hpp
@@ -0,0 +1,76 @@
+//======================================================================================================================
+/*
+  Kyosu - Complex Without Complexes
+  Copyright : KYOSU Contributors & Maintainers
+  SPDX-License-Identifier: BSL-1.0
+*/
+//======================================================================================================================
+#pragma once
+
+#include <kyosu/details/invoke.hpp>
+
+namespace kyosu::tags
+{
+  struct callable_convert : eve::elementwise
+  {
+    using callable_tag_type = callable_convert;
+
+    KYOSU_DEFERS_CALLABLE(convert_);
+
+    template<eve::plain_scalar_value T>
+    static KYOSU_FORCEINLINE auto deferred_call(auto, eve::ordered_value auto const& v, eve::as<T> const& tgt) noexcept
+    {
+      return eve::convert(v,tgt);
+    }
+
+    template<typename T>
+    KYOSU_FORCEINLINE
+    auto operator()(auto const& v, eve::as<T> const& tgt) const noexcept -> decltype(eve::tag_invoke(*this,v,tgt))
+    {
+      return eve::tag_invoke(*this, v, tgt);
+    }
+
+    template<typename... T>
+    eve::unsupported_call<callable_convert(T&&...)> operator()(T&&... x) const
+    requires(!requires { eve::tag_invoke(*this, KYOSU_FWD(x)...); }) = delete;
+  };
+}
+
+namespace kyosu
+{
+//======================================================================================================================
+//! @addtogroup functions
+//! @{
+//!   @var convert
+//!   @brief Select a value between two arguments based on a logical mask
+//!
+//!   **Defined in Header**
+//!
+//!   @code
+//!   #include <kyosu/functions.hpp>
+//!   @endcode
+//!
+//!   @groupheader{Callable Signatures}
+//!
+//!   @code
+//!   namespace kyosu
+//!   {
+//!      template<eve::value T, eve::value U, eve::value V>
+//!      constexpr auto convert(T x, U, y, V z ) noexcept;
+//!   }
+//!   @endcode
+//!
+//!   **Parameters**
+//!
+//!     * `z` : Value to process.
+//!
+//!   **Return value**
+//!
+//!
+//!  @groupheader{Example}
+//!
+//!  @godbolt{doc/convert.cpp}
+//! @}
+//======================================================================================================================
+inline constexpr tags::callable_convert convert = {};
+}
diff --git a/include/kyosu/types/cayley_dickson.hpp b/include/kyosu/types/cayley_dickson.hpp
index 4910c2c5..69487e50 100644
--- a/include/kyosu/types/cayley_dickson.hpp
+++ b/include/kyosu/types/cayley_dickson.hpp
@@ -139,6 +139,16 @@ namespace kyosu
     return _::dispatch(fn, m,t,f);
   }
 
+  template<concepts::cayley_dickson T, eve::value C>
+  requires( eve::scalar_value<T> )
+  KYOSU_FORCEINLINE
+  constexpr auto tag_invoke( eve::tag_of<kyosu::convert> const& f, auto, C const& c, eve::as<T> const& tgt) noexcept
+                -> decltype(_::dispatch(f, c, tgt))
+  {
+    return _::dispatch(f, c, tgt);
+  }
+
+
   //==================================================================================================================
   //  Tag invoke override for parts extraction - Outside so they can see get<I>(c)
   //==================================================================================================================
@@ -204,7 +214,7 @@ struct std::tuple_element<I, kyosu::cayley_dickson<T,N>>
 template<typename Wrapper, typename T, unsigned int N>
 struct eve::supports_like<Wrapper,kyosu::cayley_dickson<T,N>>
       : std::bool_constant<   kyosu::concepts::cayley_dickson<Wrapper>
-                          ||  std::same_as<T, element_type_t<Wrapper>>
+                          ||  std::same_as<T, eve::element_type_t<Wrapper>>
                           ||  plain_scalar_value<Wrapper>
                           >
 {
diff --git a/include/kyosu/types/impl/arithmetic.hpp b/include/kyosu/types/impl/arithmetic.hpp
index 9de796bd..66dd6695 100644
--- a/include/kyosu/types/impl/arithmetic.hpp
+++ b/include/kyosu/types/impl/arithmetic.hpp
@@ -136,7 +136,7 @@ namespace kyosu::_
   {
     using r_t = as_cayley_dickson_t<C0,C1,T>;
     return r_t{kumi::map([&t](auto const& e, auto const & f) { return eve::lerp(e, f, t); }, c0, c1)};
- }
+  }
 
   template<typename C>
   KYOSU_FORCEINLINE constexpr
@@ -174,5 +174,20 @@ namespace kyosu::_
   auto dispatch(eve::tag_of<kyosu::rec> const&, C c) noexcept
   {
     return conj(c)/sqr_abs(c);
-  }  
+  }
+  template<typename C0, concepts::cayley_dickson C1>
+  requires(dimension_v<C0> <= dimension_v<C1>)
+  KYOSU_FORCEINLINE constexpr
+  auto dispatch(eve::tag_of<convert> const&, C0 const & c, eve::as<C1> const & tgt) noexcept
+  {
+    using type = eve::as_wide_as_t<C1, C0>;
+
+    if      constexpr(std::same_as<eve::element_type_t<C0>,C1>) return c;
+    else if constexpr(dimension_v<C0> == 1ULL)                  return type{c};
+    else
+    {
+      using u_t = eve::underlying_type_t<C1>;
+      return kumi::apply([](auto const&... e) { return type{kyosu::convert(e, eve::as<u_t>{})...}; }, c);
+    }
+  }
 }
diff --git a/include/kyosu/types/impl/operators.hpp b/include/kyosu/types/impl/operators.hpp
index a91ba2cd..68bbfced 100644
--- a/include/kyosu/types/impl/operators.hpp
+++ b/include/kyosu/types/impl/operators.hpp
@@ -42,9 +42,10 @@ namespace kyosu
   /// Returns the sum of a Caley-dickson value and a real value in any order
   template<eve::value T1, eve::value T2>
   requires(concepts::cayley_dickson<T1> || concepts::cayley_dickson<T2>)
-  as_cayley_dickson_t<T1,T2> operator+(T1 const& a, T2 const& b) noexcept
+  auto operator+(T1 const& a, T2 const& b) noexcept -> as_cayley_dickson_t<T1,T2>
   {
-    as_cayley_dickson_t<T1,T2> that{a};
+    using type = as_cayley_dickson_t<T1,T2>;
+    type that{kyosu::convert(a,eve::as<eve::element_type_t<type>>())};
     return that += b;
   }
 
@@ -53,7 +54,8 @@ namespace kyosu
   requires(concepts::cayley_dickson<T1> || concepts::cayley_dickson<T2>)
   as_cayley_dickson_t<T1,T2> operator-(T1 const& a, T2 const& b) noexcept
   {
-    as_cayley_dickson_t<T1,T2> that{a};
+    using type = as_cayley_dickson_t<T1,T2>;
+    type that{kyosu::convert(a,eve::as<eve::element_type_t<type>>())};
     return that -= b;
   }
 
@@ -62,7 +64,8 @@ namespace kyosu
   requires(concepts::cayley_dickson<T1> && concepts::cayley_dickson<T2>)
   as_cayley_dickson_t<T1,T2> operator*(T1 const& a, T2 const& b) noexcept
   {
-    as_cayley_dickson_t<T1,T2> that{a};
+    using type = as_cayley_dickson_t<T1,T2>;
+    type that{kyosu::convert(a,eve::as<eve::element_type_t<type>>())};
     return that *= b;
   }
 
@@ -73,12 +76,14 @@ namespace kyosu
     // This is ok as the non cayley-dickson type is a scalar
     if constexpr(concepts::cayley_dickson<T1>)
     {
-      as_cayley_dickson_t<T1,T2> that{a};
+      using type = as_cayley_dickson_t<T1,T2>;
+      type that{kyosu::convert(a,eve::as<eve::element_type_t<type>>())};
       return that *= b;
     }
     else
     {
-      as_cayley_dickson_t<T1,T2> that{b};
+      using type = as_cayley_dickson_t<T1,T2>;
+      type that{kyosu::convert(b,eve::as<eve::element_type_t<type>>())};
       return that *= a;
     }
   }
@@ -88,7 +93,8 @@ namespace kyosu
   requires(concepts::cayley_dickson<T1> || concepts::cayley_dickson<T2>)
   as_cayley_dickson_t<T1,T2> operator/(T1 const& a, T2 const& b) noexcept
   {
-    as_cayley_dickson_t<T1,T2> that{a};
+    using type = as_cayley_dickson_t<T1,T2>;
+    type that{kyosu::convert(a,eve::as<eve::element_type_t<type>>())};
     return that /= b;
   }
 
diff --git a/include/kyosu/types/traits.hpp b/include/kyosu/types/traits.hpp
index 5ce85dc8..161f4ae9 100644
--- a/include/kyosu/types/traits.hpp
+++ b/include/kyosu/types/traits.hpp
@@ -93,12 +93,7 @@ namespace kyosu
 
   template<unsigned int Dim, typename... Ts>
   requires( Dim > 1 && !requires(Ts... ts) { eve::add( std::declval<_::sema_t<Ts>>()...); } )
-  struct  as_cayley_dickson_n<Dim, Ts...>
-  {
-    static_assert ( requires(Ts... ts) { eve::add( std::declval<_::sema_t<Ts>>()...); }
-                  , "[KYOSU] - STATIC ASSERT: Incompatible types in type resolution"
-                  );
-  };
+  struct  as_cayley_dickson_n<Dim, Ts...> {};
 
   template<unsigned int Dim, typename T>
   requires(Dim > 1)