diff --git a/tests/kani/Intrinsics/Math/Arith/powf32.rs b/tests/kani/Intrinsics/Math/Arith/powf32.rs
index 4181b39db165..d8c6ebea6a3e 100644
--- a/tests/kani/Intrinsics/Math/Arith/powf32.rs
+++ b/tests/kani/Intrinsics/Math/Arith/powf32.rs
@@ -6,5 +6,5 @@ fn verify_pow() {
     let x: f32 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powf(2.0);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }
diff --git a/tests/kani/Intrinsics/Math/Arith/powi.rs b/tests/kani/Intrinsics/Math/Arith/powi.rs
index adf53c4d5eb8..70d9d8b0d46b 100644
--- a/tests/kani/Intrinsics/Math/Arith/powi.rs
+++ b/tests/kani/Intrinsics/Math/Arith/powi.rs
@@ -6,7 +6,7 @@ fn verify_powi32() {
     let x: f32 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powi(2);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }
 
 #[kani::proof]
@@ -14,5 +14,5 @@ fn verify_powi64() {
     let x: f64 = kani::any();
     kani::assume(x.is_normal());
     let x2 = x.powi(2);
-    assert!(x2 >= 0);
+    assert!(x2 >= 0.0);
 }