diff --git a/crux-llvm/test-data/golden/golden/float-cast2.z3.good b/crux-llvm/test-data/golden/golden/float-cast2.z3.good
index 63af98236..4334bf91d 100644
--- a/crux-llvm/test-data/golden/golden/float-cast2.z3.good
+++ b/crux-llvm/test-data/golden/golden/float-cast2.z3.good
@@ -1,2 +1,2 @@
-ite (floatIsNaN cX@3:f) 0x0:[32] 0x1:[32]
+bvZext 32 (ite (floatIsNaN cX@3:f) 0x0:[1] 0x1:[1])
 [Crux] Overall status: Valid.
diff --git a/dependencies/what4 b/dependencies/what4
index 670c8aca5..72dd5ff57 160000
--- a/dependencies/what4
+++ b/dependencies/what4
@@ -1 +1 @@
-Subproject commit 670c8aca552e8b748b20d127d1310430880a45e8
+Subproject commit 72dd5ff5741caee5a40ca5f5791201a54f6064b7