Fix Aqua tests

src/unspecifiednumber.jl

@@ -1,5 +1,18 @@
 abstract type AbstractUnspecifiedNumber <: Number end
 
-struct UnspecifiedNumber{T} <: AbstractUnspecifiedNumber
+struct UnspecifiedNumber{T<:Number} <: AbstractUnspecifiedNumber
   value::T
+  global @inline function _UnspecifiedNumber(value::Number)
+    return new{typeof(value)}(value)
+  end
+end
+
+UnspecifiedNumber(n::Number) = _UnspecifiedNumber(n)
+UnspecifiedNumber{T}(n::Number) where {T<:Number} = UnspecifiedNumber(convert(T, n))
+
+UnspecifiedNumber{T}(n::UnspecifiedNumber{T}) where {T<:Number} = n
+
+# Fix ambiguity error.
+function UnspecifiedNumber{T}(n::Base.TwicePrecision) where {T<:Number}
+  return UnspecifiedNumber(convert(T, n))
 end

src/unspecifiedzero.jl

@@ -32,8 +32,6 @@ Base.:/(::Number, ::UnspecifiedZero) = throw(DivideError())
 Base.:/(::UnspecifiedZero, ::UnspecifiedZero) = throw(DivideError())
 Base.:-(::UnspecifiedZero) = UnspecifiedZero()
 
-Base.promote_type(z::Type{<:UnspecifiedZero}, ElT::Type) = Base.promote_type(ElT, z)
-
-Base.promote_type(ElT::Type, ::Type{<:UnspecifiedZero}) = ElT
-Base.promote_type(::Type{<:UnspecifiedZero}, ::Type{<:UnspecifiedZero}) = UnspecifiedZero
-Base.promote_type(ElT::Type, ::Type{<:Complex{<:UnspecifiedZero}}) = Complex{real(ElT)}
+Base.promote_rule(::Type{<:UnspecifiedZero}, t::Type) = t2
+Base.promote_rule(::Type{<:UnspecifiedZero}, ::Type{<:UnspecifiedZero}) = UnspecifiedZero
+Base.promote_type(::Type{<:Complex{<:UnspecifiedZero}}, t::Type) = complex(t)