Fix int() type for latest python

As per http://typedrawers.com/discussion/632/problems-with-fontqa