py3k multiple by int()