Modified £sqlite3_column_int so as to produce an Int from a 64 bits Sqlite number. Now, all Ints are seen as (signed) integers up to 64 bits by Sqlite.