Fix ambigiuity in ℵ₀ - (-∞) (#17)

Author: dlfivefifty

Project.toml

@@ -1,7 +1,7 @@
 name = "Infinities"
 uuid = "e1ba4f0e-776d-440f-acd9-e1d2e9742647"
 authors = ["Sheehan Olver <[email protected]>"]
-version = "0.1.2"
+version = "0.1.3"
 
 [compat]
 julia = "1"

src/cardinality.jl

@@ -161,6 +161,8 @@ for op in (:+, :-)
     @eval begin
         $op(x::Number, ::InfiniteCardinal) = $op(x, ∞)
         $op(::InfiniteCardinal, x::Number) = $op(∞, x)
+        $op(x::RealInfinity, ::InfiniteCardinal) = $op(x, ∞)
+        $op(::InfiniteCardinal, x::RealInfinity) = $op(∞, x)
     end
 end
 

test/test_cardinality.jl

@@ -102,6 +102,10 @@ using Infinities, Base64, Base.Checked, Test
         @test ℵ₀ + 5.1 ≡ ∞
         @test 5.1 + ℵ₀ ≡ ∞
         @test 5.1 - ℵ₀ ≡ -∞
+
+        @test ℵ₀ + RealInfinity() == ∞
+        @test ℵ₀ - (-∞) == ∞
+        @test  RealInfinity() + ℵ₀ == ∞
     end
 
     @testset "fld/cld/div/mod" begin