can also integerize mod_n, neg_n and abs_n.