Use integer division instead of floating-point division

[adlerjohn]

Instead of rounding up by converting to float then back to int, do rounding-up integer division directly.

Based on https://stackoverflow.com/a/17974.