explicit casts to int in sql queries 2