2695: Pretty print of -x/y

Simple change to pretty_print (actually to __div__ in prettyForm) to make fractions with negatives output in a nicer fashion.