sqlite3: Fix 64-bit integer handling in user functions on 32-bit architectures

Closes #8033.
diff --git a/Misc/ACKS b/Misc/ACKS
index ad276e8..36d7e84 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -222,6 +222,7 @@
 Erik Demaine
 John Dennis
 Roger Dev
+Philippe Devalkeneer
 Raghuram Devarakonda
 Caleb Deveraux
 Catherine Devlin