move pretty_print to display.cpp

Signed-off-by: xiehuc <xiehuc@gmail.com>
pretty_print ignore + if rhs is negative

(+-1) should be -1, which + should ignore

Signed-off-by: xiehuc <xiehuc@gmail.com>