static public double sqlite3_column_double(sqlite3_stmt stmt, int index) { return(_imp.sqlite3_column_double(stmt.ptr, index)); }