Fix int range exceeded

[achengs]

The first commit has a new test that demonstrates exceeding the range for ints.

The second commit has the proposed fix: int can't handle positive infinity directly, but * and min can. And once the value passes through them, then int is safe to use.