I've been using `int` because its familiar, but it may not be the right thing to suggest. Can we get a decision here?