diff --git a/database b/database
deleted file mode 100644
index 564a67b35..000000000
Binary files a/database and /dev/null differ
diff --git a/testing/pragma.test b/testing/pragma.test
index fd98b19b9..bdc3b1102 100755
--- a/testing/pragma.test
+++ b/testing/pragma.test
@@ -55,3 +55,13 @@ do_execsql_test_on_specific_db ":memory:" pragma-user-version-update {
   PRAGMA user_version = 42;
   PRAGMA user_version;
 } {42}
+
+do_execsql_test_on_specific_db ":memory:" pragma-user-version-negative-value {
+  PRAGMA user_version = -10;
+  PRAGMA user_version;
+} {-10}
+
+do_execsql_test_on_specific_db ":memory:" pragma-user-version-float-value {
+  PRAGMA user_version = 10.9;
+  PRAGMA user_version;
+} {10}