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

Closes #8033.
diff --git a/Misc/ACKS b/Misc/ACKS
index 57de3d1..a732965 100644
--- a/Misc/ACKS
+++ b/Misc/ACKS
@@ -198,6 +198,7 @@
 Erik Demaine
 John Dennis
 Roger Dev
+Philippe Devalkeneer
 Raghuram Devarakonda
 Catherine Devlin
 Scott Dial