Although the results are the same in this case, I think that `int()` is better practice when the result *must* be an integer, since the return value of `//` depends on the operands.