всё достаточно просто, оператор отбрасывает дробную часть и возвращает целое, прсто нужно понять как идёт сравнение для отрицательных чисел
вот пример:
4 / 3 = 1.3333333333333333
4 // 3 = 1
сравниваем с соседними целыми числами 1 < 1.3333333333333333 < 2
теперь отрицательные
-4 / 3 = -1.3333333333333333
- 4 // 3 = -2
, снова посмотрим на соседние целые числа -2 < -1.3333333333333333 < -1
-1.3333333333333333 нужно еще +0.3333333333333333 чтобы иметь целую часть равную -1, следовательно целая часть это -2