DB2 SQL CAST AS INTEGER