stepcode/stepcode — pull request #288 by mpictor (2014-02-25 22:39:45+00:00)
Title: 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