use integer division in PBS template docs

int / int = float in Python 3.

closes #7151