redo the to_int/is_int rewrite in theory arith's ppRewrite; fixes models