NEWS and UPGRADING for intdiv()