cast to int to be on the safe side