sqlite: cast int