Make sure we're casting as an integer