I think this discussion can be done at a later date, `Int` is part of the numeric traits, which are currently under review. I'm sure more PRs will come in the future regarding this.