rewrite binary accum funcs
rewrite abs, numerator, denominator