use int() instead of round() for time formatting
use int() instead of round() for time formatting

Under Python 2, round(x, 0) returns a float instead of an int, unlike
under Python 3, which is bad for my formatting unittests that do not
expect to see a decimal point.

sulami/nozdormu