A comment about why this can't overflow?