explicit casts to int in sql queries 3