ADDED: divmod, division with remainder rounding to -Infinity