This check isn't needed here, and don't do casting to 'int' below.