Added case split suggestions from abs value module, and fixed a bug in rounding fractional coefficients.