Use correct integer division

Without this, we get the following on Python 3:

```
return '%s%*s' % (markup_fn(text), pad_len, '')
TypeError: * wants int
```