diff --git a/Project.toml b/Project.toml
index 45569d9..ea541ac 100644
--- a/Project.toml
+++ b/Project.toml
@@ -21,7 +21,7 @@ SymbolicWedderburn = "858aa9a9-4c7c-4c62-b466-2421203962a2"
 COSMO = "0.8"
 Groups = "0.8"
 GroupsCore = "0.5"
-IntervalArithmetic = "0.21"
+IntervalArithmetic = "0.20"
 IntervalMatrices = "0.10"
 JuMP = ">=1.3"
 PermutationGroups = "0.6.2"
diff --git a/src/certify.jl b/src/certify.jl
index 35a3695..004cadf 100644
--- a/src/certify.jl
+++ b/src/certify.jl
@@ -123,10 +123,8 @@ function certify_solution(
         return false, λ_flpoint
     end
 
-    λ_int = IntervalArithmetic.interval(Float64, λ)
-    Q_int = IntervalMatrices.IntervalMatrix([
-        IntervalArithmetic.interval(Float64, q) for q in Q
-    ])
+    λ_int = IntervalArithmetic.interval(λ)
+    Q_int = IntervalMatrices.IntervalMatrix(IntervalArithmetic.interval.(Q))
 
     check, sos_int = @time if should_we_augment
         @info("Projecting columns of Q to the augmentation ideal...")