Implement isinteger and fix isnan for ExactReal

JuliaIntervals · Jun 17, 2024 · 5b3d244 · 5b3d244
1 parent 5d7dea2
commit 5b3d244
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/intervals/exact_literals.jl b/src/intervals/exact_literals.jl
@@ -75,6 +75,8 @@ Base.one(::Complex{ExactReal{T}}) where {T<:Real} = one(Complex{ExactReal{T}})
 Base.hash(x::ExactReal, h::UInt) = hash(x.value, h)
 
 Base.isfinite(x::ExactReal) = isfinite(x.value)
+Base.isinteger(x::ExactReal) = isinteger(x.value)
+Base.isnan(x::ExactReal) = isnan(x.value) # also ensures that `Base.isinf` works properly
 
 # conversion and promotion