diff --git a/Cargo.toml b/Cargo.toml
index 83fded4..e1e3716 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.16.4"
+version = "0.16.5"
 edition = "2021"
 authors = ["Kevin Laeufer <laeufer@cornell.edu>"]
 description = "BitVector and Array Arithmetic"
diff --git a/src/lib.rs b/src/lib.rs
index b56a67b..3c46d7f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -49,6 +49,18 @@ impl TryFrom<Value> for u64 {
     }
 }
 
+impl From<BitVecValue> for Value {
+    fn from(value: BitVecValue) -> Self {
+        Self::BitVec(value)
+    }
+}
+
+impl From<ArrayValue> for Value {
+    fn from(value: ArrayValue) -> Self {
+        Self::Array(value)
+    }
+}
+
 impl Value {
     pub fn try_into_u64(self) -> Result<u64, ()> {
         <Self as TryInto<u64>>::try_into(self)