typemin, typemax for irrationals

Fixes #36978
JuliaLang · Dec 23, 2023 · 2fe4b51 · 2fe4b51
1 parent 52ff558
commit 2fe4b51
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/base/irrationals.jl b/base/irrationals.jl
@@ -28,6 +28,9 @@ See also [`AbstractIrrational`](@ref).
 """
 struct Irrational{sym} <: AbstractIrrational end
 
+typemin(::Type{T}) where {T<:Irrational} = T()
+typemax(::Type{T}) where {T<:Irrational} = T()
+
 show(io::IO, x::Irrational{sym}) where {sym} = print(io, sym)
 
 function show(io::IO, ::MIME"text/plain", x::Irrational{sym}) where {sym}

diff --git a/test/numbers.jl b/test/numbers.jl
@@ -3141,3 +3141,9 @@ end
         @test n == G(F(n)) == F(G(n))
     end
 end
+
+@testset "irrational special values" begin
+    for v ∈ (π, ℯ, γ, catalan, φ)
+        @test v === typemin(v) === typemax(v)
+    end
+end