Casting result to int