Should be the same type, yes, but I still disagree about changing to `unsigned`.