str(int) in __unicode__s