diff -r 86e7560e07d0 -r dd18c33c001e NEWS
--- a/NEWS	Thu Aug 06 23:56:48 2015 +0200
+++ b/NEWS	Sat Aug 08 10:51:33 2015 +0200
@@ -188,6 +188,11 @@
 * Nitpick:
   - Removed "check_potential" and "check_genuine" options.
 
+* Division on integers is bootstrapped directly from division on
+naturals and uses generic numeral algorithm for computations.
+Slight INCOMPATIBILITY, simproc numeral_divmod replaces and generalizes
+former simprocs binary_int_div and binary_int_mod
+
 * Tightened specification of class semiring_no_zero_divisors.  Slight
 INCOMPATIBILITY.