Explicitly cast to int before returning integers