Contrary to the built-in division operator, this function always truncates towards the next smaller integer (also for negative numbers)