python // 연산자는 왜 버림이 아니라 내림인가

 

파이썬 에서 // 연산자는 나눗셈의 몫을 구하는 연산자다.

양수에서는 버림과 내림이 같기에 의문이 없다.

음수에서 버림이 아닌 내림(floor)처리를 하는가?

나눗셈에서 아래 등식은 항상 일치해야한다.

a == (a // b * b) + (a % b)

피제수 = 몫 * 제수 + 나머지

나머지를 구하는 % 연산과의 일관성을 유지하기 위해서

버림이 아닌 내림 처리를 한다.

[추가]

float 은 내림이지만, decimal은 버림이다.

https://itengineerandpeace.blogspot.com/2022/08/float-decimal.html