Selecting/casting output as integer in SQL Selecting/casting output as integer in SQL sql sql