infnum_print: also print the sign