3 ms·

Python uses it for integer division. Typically it is meant as "divide and floor" as far as I've seen.