To be clear, the only difference is if both operands are `int`s. `div(1,2)` will return `0`, while `truediv(1,2)` will return `0.5`. I don't think that should ever be the case in this code.