Just tested the patch, here are some benchmarks:
./python -m timeit -s "a=100000000;b=777777" "a//b"
-> 2.6: 0.253 usec per loop
-> 3.1: 0.61 usec per loop
-> 3.1 + patch: 0.331 usec per loop
./python -m timeit -s "a=100000000;b=777777" "a*b"
-> 2.6: 0.431 usec per loop
-> 3.1: 0.302 usec per loop
-> 3.1 + patch: 0.225 usec per loop
./python -m timeit -s "a=100000000;b=777777" "a+b"
-> 2.6: 0.173 usec per loop
-> 3.1: 0.229 usec per loop
-> 3.1 + patch: 0.217 usec per loop
But it seems there are some outliers:
./python -m timeit -s "a=100000000**5+1;b=777777**3" "a//b"
-> 2.6: 1.13 usec per loop
-> 3.1: 1.12 usec per loop
-> 3.1 + patch: 1.2 usec per loop