Merge pull request #75 from milankl/mk/irrational

conversion from irrationals
milankl · Oct 11, 2022 · 851e9bb · 851e9bb
2 parents 47bf9f8 + 29a8d76
commit 851e9bb
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/conversions.jl b/src/conversions.jl
@@ -188,3 +188,9 @@ Posit8(x::BigFloat) = Posit8(Float64(x))
 Posit16(x::BigFloat) = Posit16(Float64(x))
 Posit16_1(x::BigFloat) = Posit16_1(Float64(x))
 Posit32(x::BigFloat) = Posit32(Float64(x))
+
+# IRRATIONALS
+Posit8(x::Irrational) = Posit8(Base.floattype(Posit8)(x))
+Posit16(x::Irrational) = Posit16(Base.floattype(Posit16)(x))
+Posit16_1(x::Irrational) = Posit16_1(Base.floattype(Posit16_1)(x))
+Posit32(x::Irrational) = Posit32(Base.floattype(Posit32)(x))
diff --git a/test/conversions.jl b/test/conversions.jl
@@ -286,4 +286,11 @@ end
             @test 2i == Int(2*T(i))
         end
     end
+end
+
+@testset "Irrationals" begin
+    @testset for P in (Posit8,Posit16,Posit16_1,Posit32)
+        tol = Float64(eps(P))
+        @test π ≈ Float64(P(π)) atol=tol rtol=tol
+    end
 end