cast as int
Merge pull request #10752 from SmithSamuelM/sam_raet_12

cast as int