cast to int what should be int