Convert to ints for format string in python 2.7.3; closes #44