Casting the resolution back to ints.

We get warnings without these casts. Shouldn't Travis have caught this problem?