Likewise, an int cast would be safer here.