cast to integer and not to int