New: integer-division