pretty print: integer and real division have different operators

In rev 01f6e26, I made exppp print `DIV` for all division. I didn't realize that integer and real division used different operators, and this change broke real division.

This causes integer and real cases to be treated differently and correctly.

reported by @TRThurman