force int cast