SQLite bug: extracting a 64-bit value using IntegerValue only gives a 32-bit result

See:

https://tracker.xojo.com/xojoinc/xojo/-/issues/70753

Took me some hours to start suspecting that IntegerValue was not giving the expected result.