Commit d711165d03d785c1d8a8a5cf390a4dd0a6a0a107

Edward Thomson 2016-07-22T14:02:00

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