The reason the comment is here is to point out that we're making sure we don't do integer division.