Add more trunc BigFloat tests (#36027)

* Add more trunc BigFloat tests

Taken from #21970

* Use testset instead of eval

Author: omus

test/mpfr.jl

@@ -857,6 +857,45 @@ end
     # Issue #33676
     @test trunc(UInt8, parse(BigFloat,"255.1")) == UInt8(255)
     @test_throws InexactError trunc(UInt8, parse(BigFloat,"256.1"))
+
+    @testset "inexact limits ($T)" for T in Base.BitInteger_types
+        typemin_and_half = BigFloat(typemin(T)) - 0.5
+        typemax_and_half = BigFloat(typemax(T)) + 0.5
+        typemin_and_one = BigFloat(typemin(T)) - 1
+        typemax_and_one = BigFloat(typemax(T)) + 1
+
+        @test trunc(T, typemin_and_half) == typemin(T)
+        @test trunc(T, typemax_and_half) == typemax(T)
+        @test_throws InexactError trunc(T, typemin_and_one)
+        @test_throws InexactError trunc(T, typemax_and_one)
+
+        @test_throws InexactError floor(T, typemin_and_half)
+        @test floor(T, typemax_and_half) == typemax(T)
+        @test_throws InexactError floor(T, typemin_and_one)
+        @test_throws InexactError floor(T, typemax_and_one)
+
+        @test ceil(T, typemin_and_half) == typemin(T)
+        @test_throws InexactError ceil(T, typemax_and_half)
+        @test_throws InexactError ceil(T, typemin_and_one)
+        @test_throws InexactError ceil(T, typemax_and_one)
+
+        if iseven(typemin(T))
+            @test round(T, typemin_and_half) == typemin(T)
+        else
+            @test_throws InexactError round(T, typemin_and_half)
+        end
+
+        if iseven(typemax(T))
+            @test round(T, typemax_and_half) == typemax(T)
+        else
+            @test_throws InexactError round(T, typemax_and_half)
+        end
+
+        @test round(T, BigFloat(typemin(T)) - 0.4) == typemin(T)
+        @test round(T, BigFloat(typemax(T)) + 0.4) == typemax(T)
+        @test_throws InexactError round(T, typemin_and_one)
+        @test_throws InexactError round(T, typemax_and_one)
+    end
 end
 @testset "div" begin
     @test div(big"1.0",big"0.1") == 9