explicit cast to int