repository: don't cast to `int` for no reason And give it a default so that some compilers don't (unnecessarily) complain.