Attempt at fixing #59 (sqlite double type casting).

Blindly add a new type conversion in the SQLite code base to handle the
source type DOUBLE and convert it to "double precision".