should but it's just to be sure nothing stupid happens with the division. And it's more explicit.