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