Print -x as -x instead of -1.0*x when printing C-source.