Tim Peters wrote:
int.__truediv__ makes semi-heroic efforts to get 10**400 / int(1e200) "right" (well, as right as can be)
Yes, those semi-heroic efforts actually are what inspired my question. A few days ago I noticed that and was delighted it works. Use case was the exact calculation of value around 8, for which I used fractions.Fraction. Numerator and denominator were large, but the division numerator/denominator still successfully provided a readable and right-as-can-be float. So yes, even I who brought this up only noticed *that* semi-heroism after years of using Python, and don't have an actual use case for the int-and-float division. The int/int one just gave me the impression that Python is trying hard to give me results when possible, so I wondered about this case.